To understand the event "Bob is dying.", it is important to know that If Bob dies, Bob will be dead