3 ms·

This would be brilliant for helping simplify some contracts (preconditions, postconditions and invariants).