Itô's_formula loading ...