Li-Fan Chen
says to
YSITD
第一條說的是「不相交」這個定律 對於所有x 來說 (suc x = zero) 這條不會成立