To understand the event "Brock and David ate all the ice cream.", it is important to know that there is probably no more ice cream available in the house