Li-Fan Chen
says to
YSITD
所以才會導致能推出任意命題啊