Allen Chou says to YSITD
https://paper.seebug.org/376/
at Thu, Oct 18, 2018 7:11 PM