You searched for design by contract