LTLC choosing keywords