推式子的目的是什么，自己推的时候没有方向推不下去，总是感觉化到最简。