基于一致性的逻辑