one more argument to exists/forall