Updating ltl, d6 and chug