Added Design by Contract section