via Digitalmars-d Thu, 05 Feb 2015 03:40:54 -0800
IF and ONLY IF the precondition holds, then the postcondition holds.
Duh, that was wrong... It is only IF, not IFF...