Show all pages that mention second-order classes
Trace: • representable_lattice-ordered_groups • finite_ordered_semigroups_with_zero • second-order_classes