8.2.2 关于derivationLogic