Li-Fan Chen
says to
YSITD
多引其他定義不會讓你第一點的定義範圍改變