To understand the event "Jim was killed.", it is important to know that kill is permanent