Updated ltl demo