That is a great way of thinking about testing, and possibly even type systems. It really clicked with me, thank you for sharing.