Comment by AlisdairO

How does this stay correct in the presence of concurrent activity?