excellent! We move....

>   I don't know the algorithm of the conflict checker, but these are
> equivalent but in different encoding.  In the other words, they are
> under control.