Log in to Understand LTL