要形式的推进，也要思维的推进