map function implemented, exists function uses forall