Updated Ltl