Understanding logical coherence