 Church clearly thinks that the starred principles are “reasonable” and that the only problem is that they make use of an impredicative definition, namely,  ***,  and that when the starred principles are suitably ramified, the problem can be solved in the manner Russell (1908) foresaw and implemented, if imperfectly (PM). He remarks that