第18章 反向推导