Li-Fan Chen says to YSITD
https://hackmd.io/U2tFd1ypSESN8QCIsUoNpw#
at Mon, Jul 9, 2018 11:10 AM