rectification; Abhyankar-Sathaye embedding problem; variable hyperKähler manifolds; birational correspondence; minimal models; Mori contraction; smooth projective symplectic variety; Yau theorem; coisotropic embedding 