Andre Compton Proofs