To understand the event "Sam is tired  Sam went to sleep", it is important to know that Sam will not feel tired after waking up