implement forall
implement exists
implement map