Li-Fan Chen
says to
YSITD
每頁，定義就是定義，不是命題