On Pied-Piping