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