Li-Fan Chen
says to
YSITD
但他跟第二點定義還是無關