reduced exists with first order logic