 The Axiom of Reducibility, however, is tantamount to conceding the admissibility of impredicative definitions after all. For it collapses the orders for propositional functions of type 1. Critics pointed out that it would be better to eschew ramification and embrace the procedure of impredicative definition as licit after all. 