Week 6: completeness proofs