Congruence and Coverage