`a` -> `x` and `b` -> `y`

[none]