Li-Fan Chen
says to
YSITD
「P可能成立」 「P可能不成立」