Logical coherence