existence

not defined yet