Added design by contract presentation