Feferman proved that, on a certain reconstruction, the predicativist theory does not prove any new a...