推演
递进思考