Li-Fan Chen
says to
YSITD
在一些其他的邏輯中我們可以說不知道