01 Proofs