Added option to display as congruence classes.