Could you add a comment with this explanation? I forgot about it...

I was also wondering... even if isStateTransferInProgressForKey returns true, InvalidateL1Command.perform will loop around until the locality is certain. Could we remove the looping? The invalidate command should mark the key as updated, and state transfer wouldn't re-create it...