Leko
says to
YSITD
邏輯上是等價的吧