Li-Fan Chen says to YSITD
代表從 x 中可以推導出 y