Implemented forall