editted the existential variables