No.12414073 ViewReplyOriginalReport
If I was non-binary should I reject classical logic and only write constructive proofs? If you think about it, "girl" := not "boy" and the law of excluded middle you are either a girl or a boy.