Implement inversion, power and composition