The Logical Case for Voter ID