[ineedasername]

I completely agree, but you can have an auditable voting record in an election without relying on software integrity. That's not really the case, from the defendant's point of view, in a trial that relies on probabilities implemented in the software. In the case of voting, it is software-assisted. In a case like this article, it is software driven.