The hot dog with mustard and ketchup has been eaten.