Li-Fan Chen
says to
YSITD
然後 我們現在要來定義 0 跟 +1