This is a mnemonic for soundness/completeness and related concepts. The red balls represent true positives and the grey balls represent true negatives. The box represents the set of balls for which the test returns positive.