全书收束可以归为双系统、价值函数和两个 ______。