TR_LALM_theory documentation