3 ms·I agree with the sentiment, but formal methods are trickyby klysm 1y agoI agree with the sentiment, but formal methods are tricky