Thread:DatAsymptote/@comment-32518419-20200117201100/@comment-3991308-20200117203813

Is it okay if I edit it?