So some kind of 3-valued logic with a conversion to true.
if maybe then "t" else "f" = "t".
https://discord.com/channels/765519132186640445/829324913097...
So some kind of 3-valued logic with a conversion to true.