To understand the event "Dave went to the market.", it is important to know that He didn't have it