Absolute Generality as Higher-Order Identity - Russo, Ethan