Cartan's_magic_formula loading ...