Assertion: ballot box's vote | /r/HasProperty | cast by valid voters
Facets:
Source sentences:
text: End-to-end auditable voting systems provide voters with a receipt to allow them to verify their vote was cast correctly, and an audit mechanism to verify that the results were tabulated correctly and all votes were cast by valid voters.