Li-Fan Chen says to YSITD
所以問題的確在於 存在 不應該是一個性質