LTL: Checklist