Computational_theory loading ...