Li-Fan Chen
says to
YSITD
喔喔喔我終於看懂 ideal 的定義了