To understand the event "Fred voted.", it is important to know that fred's vote was counted