Showed that the congruence induced by x=xx has infinitely many classes,as shown in Figure 2, where each class is obtained from the previous representative by applying the morphism 0-1,0-4 no sequence of applications of the axiom can equate the representative elements of distinct classes