Input (grade 8): The coherence of caches is obtained if the following conditions are met:
Output (grade 7): The caches are coherent, if all of the following conditions are met: