Click a white card to flip. Green = holds, Red = doesn’t hold, Yellow = unknown. Click Proof on a flipped card for details. Click a blue card to see definition of the term.