Вообще утверждение моё говорит что в программировании все однозначно.
Грубо говоря
"если a делает b при условиях c, d, e то в результате будет R и только R"
а определено, b определено, c, d, e определены. R тоже получается предопределенным, так как зависит исключительно от констант.
Но в основном приходится обрабатывать информацию, условия для которой не так просто определить. Так, например, сервера Runescape 3 падали из-за ввода определенных символов в чате