We might wish for punch cards when ballot lines are drawn to vote