rectification; Abhyankar-Sathaye embedding problem; variable rational points; integral points; height functions; Mordell-Weil theorem; Mordell's conjecture; lifting rational points; Hilbert's irreducibility theorem; class number one problem 