> I think that you can detect bugs in your spec when testing. It's worth noting that when you construct and prove hypotheses in mathematics you will almost alw

> I think that you can detect bugs in your spec when testing. It's worth noting that when you construct and prove hypotheses in mathematics you will almost always go through an initial phase of spot testing good examples/counter-examples before you attempt a proof. So these methods are still very complementary even when you turn the abstractness up to 11.