The second thing is that the tally does, in fact, reflect accurately the votes cast. That second property is also unconditional, statistical. The third property is of voter secrecy, where how an individual voter voted will never be revealed. In that white paper, which I think you have in front of you, maybe...