Li-Fan Chen
says to
YSITD
那 ~((A V B) -> A) 成立ㄇ