Displaying similar documents to “Notes on congruence implication”