Malik Proofs