DbC
Design by Contract