Implemented exists and map using the forall function and the exists function so code is reused (and the problem is solved using a functional programming methodology).