Li-Fan Chen says to YSITD
https://hackmd.io/_Vw1d8HSRHu-laNo2BsUaA
at Wed, Sep 30, 2020 1:57 AM