proof_by_contradiction: C u at Comic Con