Jason Bohon Proofs