Allen's formal definition is found on page 4 of the original edition of the book: ""Any voting system in which the mechanisms for recording and/or tabulating the vote are hidden from the voter, and/or the mechanism lacks a tangible record of the vote cast.""