design by contract is on its way