(assert (forall