Why is Cartan's magic formula $\mathscr{L}_X\omega = i_Xd\omega + d(i_X\omega)$
called "magic"?
Should it be considered a highly surprising result? Does it "magically" prove several other theorems? What is the etymology? (Why it is variously referred to as E.Cartan's formula and H.Cartan's formula?)