#redirect [Asymptote]