けんき
says to
YSITD
如果給定抽象問題，可能就要看怎麼定義約束