An election should find out who won. Moreover, it should produce convincing evidence that it found the real winners--or report that it cannot. Resilient canvass frameworks (RCFs) formalize this idea. The overall human, procedural, hardware, and software elements involved in running an election is a RCF if it has a known minimum chance of identifying the correct winners, when it identifies winners...