Design by Contract Collection