Allen Chou
says to
YSITD
還不是會要你嚴格定義證明