Dalun
says to
YSITD
我們現在的 context 有這兩個假設嗎