1+2=x (mod 3)