variable b : bool

check if b then tt else ff

check if b && b then tt else ff

check if b ∧ b then tt else ff
