Updated ltl and express