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