Changed exists to use forall
Fixed map