Second-Order Logic Flashcards