Show all pages that mention universal classes
Trace: • finite_commutative_binars_with_zero • universal_classes