Pied-piping_with_inversion loading ...