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