Indeed, as Mr. Perry points out, I think the contract can be fully and unambiguously stated in the test suite. What gains us flexibility is the ability to leave the interface and contract undeclared ...