Tag: strict congruence hypothesis