Li-Fan Chen
says to
YSITD
你不能拿前面的定義來修改後面的定義