Compositional inverse

Summary