Congruence: comments added