Completed exists function
Dubious map function
Implemented exists using forall
Implemented map function