Pre- and Post-Conditions

Weakest condition: true

Very strong proposition:

   { true }   S   { false }

Very weak proposition:

   { false }   S   { true }