Not gonna lie, exist(0) sounds badass and ought to be a system API of some kind.

It would fit Prolog. You terminate the program, by proving that it doesn't exist.

Sounds like a great name for a post-rock digicore/hyperpop midwest emo band.