Updated Ltl and Ormy