The second layer is that logic which is so called SK reduction machine.

• 第二层是这样的合成逻辑,它就是所谓的SK归约机。