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...