What do you consider "very very small?" Tabuation is done at the precinct level, and there are many many precincts involved in an election. Also jurisdictions

What do you consider "very very small?" Tabuation is done at the precinct level, and there are many many precincts involved in an election. Also jurisdictions can do risk-limiting audits (RLA) to spot-check that the electronic counts are in line with the results. "Following your vote" is dangerous because it opens up the possibility of at-scale voter intimidation or vote-buying. "Receipt-freeness" is a desirable property because it eliminates this risk. RLAs allow for aggregate verification while maintaining receipt-freeness.