Proofs. A couple have been fixed as an example.