Deductive Change Order Example