(declare bool type)
(declare tt bool)
(declare ff bool)

(declare holds (Forall b bool type))