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