每一步中模型都进一步精化，更加形式化。
At each step, the model is refined and made more formal.
youdao
要进一步精化的东西非常少。
There is very little fat to cut, if any.
应用推荐
模块上移
模块下移
不移动