Wait, people still believe in the law of excluded middle?