The Pros of LTL Programs