nonexistence cases