Prof. Sato3 Formulas