2.5.1 对开放问题论证的第一种重构