Updating ltl and za