To understand the event "Sam is tired  Sam went to sleep", it is important to know that Sam will be less tired when he wakes up