This page is a back up alternative for viewing proofs
if email's are not going through...