Show all pages that mention second-order classes
Trace: • ordered_monoids_with_zero • second-order_classes