Main Proofs

Main Proofs

Outtakes

Outtakes