buffer_large_enough -> ([](!have_events_lost))