FORMULA, T-Lex