c ∈ Calendars{event ∈ c}