rectification; Abhyankar-Sathaye embedding problem; variable rational points of affine variety; Hasse principle; ring of all algebraic integers; capacity theory on algebraic curves; completely valued algebraically closed fields; Hilbert's tenth problem; decision procedure for diophantine equations 