To understand the event "It is spring.", it is important to know that It is not summer.