Add section on MTA
Add example of STATheory usage