add forall and forsome