Есть большая разница между тем, чтобы быть ошеломлённым 5 кривыми артефактами в проекте, и тем, чтобы быть ошеломлённым и экспоненциально офигевать от 15 таких артефактов :)

Вот почему я так оптимистично отношусь к формальным методам.