- comaparation of x and Top produces True, as Top is congruent to any other class