В космонавтике каждое слово важно, и особенно это касается слов, связанных с успехом. Японская ракета Kairos, имя которой означает «неуловимый миг удачи», уже третий раз терпит неудачу из-за человеческих ошибок. В последнее время выявлены проблемы с программным обеспечением, которое отказывает в ответ даже на незначительные колебания при старте. Аналогичный случай произошел с автоматической станцией Mars Climate Orbiter в 1999 году, где ошибки в настройках приводили к разрушению аппарата. Сложные системы, такие как Ariane 5, также стали жертвой неполного тестирования и не учли особенности динамических характеристик, что закончилось катастрофическим стартом. В современном космонавтике важно не только выполнять стандартные тесты, но и обеспечить надежную верификацию программных решений, чтобы избежать фатальных последствий. В итоге, кто не исключает случайности из алгоритма, рискует столкнуться с серьезными проблемами.