Change example on the LTL

Brady, Please give the final look.