Out of all eligible voters, ೦ voter has voted.
A total of ೦ vote has been cast. Of these, ೦ is thrown away because the voter has voted again, and ೦ is struck.