Fixed diff and exists... forgot the existential negation