LTL - Meeting the Big Bad