It will either be true or not be true
That is the great insight I can offer
Wait, people still believe in the law of excluded middle?
It is indeed of type boolean.
Wait, people still believe in the law of excluded middle?