~ DbC => Design by contract