proof_by_contradiction: Those crazy grad students!