Diagrams.Transform
conjugate
under