nonexistentially

not defined yet