rectification; Abhyankar-Sathaye embedding problem; variable Hilbert irreducibility theorem; arithmetic unit disc; inverse problem of Galois theory; Galois covers of arithmetic surfaces; arithmetic convergent power series; Artin's approximation; henselization 