Feferman himself acknowledged that the autonomous condition requires recognizing which ordinal notat...