Original: The coherence of caches is obtained if the following conditions are met:
Simplified: The caches are coherent, if all of the following conditions are met: