“…Specifically, in our theorem, we treat ξ as a fixed vector field sufficiently close to ξ 0 and we made the somewhat arbitrary choice that the map γ should be volume preserving. The results in [6] actually allow one to construct the map γ so that det ∇γ := ρ is any given function, sufficiently close to one; in fact by iterating that result, one can additionally achieve that det ∇γ = X(φ, η, ∂φ, ∂η, ∂∂ s φ, ∂∂ s η) for a suitable nonlinearity X sufficiently close to one when φ, η = 0. Using this freedom, it is possible to show that, under some (possibly restrictive and undesirable) assumptions on the field ξ, the Jacobian ρ can be used to achieve exact quasisymmetry on a slice of the torus (namely on the cross-section D).…”