ASL made Induction.* more universe-polymorphic.