Zone 4 - Proofs