To understand the event "Brock and David shared the ice cream.  Brock and David ate all the ice cream.", it is important to know that David and Brock will be full after