Li-Fan Chen says to YSITD
https://hackmd.io/vxcZ5OJQQZix-auH7LdanQ
at Fri, Jan 17, 2020 3:09 PM