Mathematical_theory loading ...