A Gentle Introduction to Risk-Limiting Audits | Synapse