Latyah and Haydin Proofs