A verdadeira utilidade do Cálculo de Hoare

pmrpi: Tenho de rever as regras de inferência do Cálculo de Hoare.
Meg: Para quê? O teu exame não tem Cálculo de Hoare.
pmrpi: Para poder fazer a correcção total do teu sistema.