Higher-Order Consequences