proofs of correctness and completeness; logical equivalence;