Figure Asymptote geometry -- 085