true
false
decide (5 > 2) == b : Bool