Li-Fan Chen
says to
YSITD
這也是廢話，這叫無矛盾律