Theoretical_syntax loading ...