imagine if there was booleans with 3 values:
0: false
1: true
2: the truth value of the statement “this sentence is false”
oh i think this exists, there’s true, false, and ⊥
no
oh