6.1.5 交互逻辑无缺失