Li-Fan Chen says to YSITD
然後我看不懂衝突的表示方法