The Collapse of Higher-Order Inference Rules | Synapse