First round of proofs Flashcards