Lie derivative
Pullback and Lie derivative.