U. Kohlenbach, “Things that can and things that can’t be done in PRA”, BRICS, bd. 5, nr. 18, jan. 1998.