congruence with cache