Process_theory loading ...