Higher-Order Metaphysics