Cut-Simulation and Impredicativity