Dynkin's_formula loading ...