This is not so easy to understand. Could we not simply wait here until the operation has completed and _then_ check that the size is "before - 1"?