The Proof Flat