3 ms·

Yes but. Seeing the eye rolls one gets 'just' talking about proving properties on one's code... Might wanna start 'soft'...