Split Verified

遗留问题：为何左侧传消息时用ES或者EE求R均对（在Split维护集合时）