Removed Existential from Identifier