proof_by_contradiction: Under the globe (3)
proof_by_contradiction: Under the globe (2)
proof_by_contradiction: Under the globe