Complete_theory loading ...