improving the LTL experience