Updated design by contract section