11.3.4 提炼反向函数