Li-Fan Chen says to YSITD
喔你說 axiom 喔