Temporal Logic Flashcards