To understand the event "Jon is tired.  Jon slept.", it is important to know that John will not be as tired when he wakes up