Makan (Proofs)