Li-Fan Chen says to YSITD
https://pastebin.com/jh6zrSJX
at Sat, Oct 20, 2018 10:16 PM