Вообще-то выше был мой пример: система, которая должна при определенных условиях принимать определённые решения.
При этом неверно принятое решение - может привести к серьезным финансовым потерям.
Проверки не абстрактные, а вполне конкретные, и их не две-три, а достаточно много.
Проверяются регулярно, для бизнеса крайне критичны.