Pied-piping with inversion
 
x
OK