Nonexistences is logically impossible