To understand the event "Jonathan forgot the formula.", it is important to know that Jonathan knew what the formula was in the past