Choosing Congruency Rules