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