removed forall