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