Forall syntax