This won't age well, or my comment won't age well. We'll see!
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.