lts_formalised