At some point, you need to do formal reasoning
When you are building software you are building a formal system, and that means at some point you need to do formal reasoning. Let’s start with the stops vs. legs...