PP-2001-10: Marx, Maarten and Mikulas, Szabolcs (2001) An Elementary Construction for a Non-elementary Procedure. [Report]