Li-Fan Chen
says to
YSITD
∀ x 的意思是 對於所有的x