renamed nullified to existential