Implemented forall, exists, map