Kronecker_limit_formula loading ...