To understand the event "Cindy is hot.  Cindy turns on the air conditioning.", it is important to know that Cindy push the button