To understand the event "Lucy enrolled in a class.", it is important to know that \