Quiz: Measuring Verification: Precision, Recall and What Slips Through