4. Estimating benefits is easier than estimating costs
�If only everyone only built software my way, it'd be great� is a common misrepresentation
- Ex: The formal methods community is just starting to understand this
But at the same time, estimating the costs and the benefits is extremely hard, leaving us without a good way to figure out what to do