forall in check syntax