move ltl section to the end. and show previous examples in ltl