existences

not defined yet