Figure Asymptote geometry -- 023