[Pitch #3] Incremental migration to concurrency checking

[xwu (Xiaodi Wu)]

@Nobody1707

I think possible confusion between "predates" and "predates" is so unlikely as to be a very silly reason to object to the name.

"Confusion" is not the only reason why we avoid using certain terminology.