Michael Auger Proofs