БОР: пустое множество

Несуществующая программа неработоспособна, ибо не выполняет своих функций. С другой стороны, багов в ней тоже нет, поскольку нет кода. Налицо парадокс - неработоспособная программа без ошибок. Как это по умному - вырожденный случай?