John's Proof Libertys