Theoretical_definition loading ...