rectification; Abhyankar-Sathaye embedding problem; variable thickening; patching; formal geometry; Shafarevich conjecture; patching problems; fundamental groups of algebraic curves; Abhyankar conjecture 