Craigie-Arita_formula loading ...