updated design by contract presentation