EXISTS simplification