Emmanuel Adoh Proofs