rectification; Abhyankar-Sathaye embedding problem; variable subelliptic multipliers; Kohn's algorithm; complex Neumann problem; pseudoconvex domains; subelliptic estimates; finite type; multiplier ideal 