Congruence + Coherence = 😎