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