true but thats not how we work. We see a problem, we make a plan and then we adjust the plan as we find the flaws.
trying to reason about all the ways it can go wrong after a point just stops one from starting the task. Which is exactly what I find with models.