LTL terminal additions