Derek Shultz Proofs