Design by Contract, by Example (By Example) | lit.salon