"y=x" translation is ok