Compatibility and coherence.
One-liners.
Use equations for conditional coherence.