cfm/ readings/ The strongest of all The strongest of all conditions is false, and the weakest of all conditions is true. K. Rustan M. Leino, Program Proofs