TODO comment on lock ordering for anti-inversions.