John's First Proof Set