On Thursday, 5 February 2015 at 09:09:32 UTC, Ola Fosheim Grøstad wrote:
IF and ONLY IF the precondition holds, then the postcondition holds.

Duh, that was wrong... It is only IF, not IFF...

Reply via email to