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