Feferman's own analysis of predicativity shows that any ordinal recognition procedure relies on prio...