I started with the formula you suggested in the ticket, which corresponds to seenDiff = 1 (one candidate left)
Do you prefer `seenSize / seenDiff`?