Week 5: Completeness proofs