added the forall, exits and map methods