Ha. At least you can check the theorem statements and see that the proofs verify :)