Question 971410
implies {{{x=2x-1}}}
{{{0=x-1}}}
{{{x=1}}}