System_theory loading ...