Asymptotic_theory loading ...