lemotw says to YSITD
==是邏輯用得~