Step 4 - Assertions and proofs: