ltl refact