Talk:Pied-piping with inversion