existability

not defined yet