To understand the event "Fred voted.", it is important to know that Fred knew how to vote