Li-Fan Chen says to YSITD
一開始先用 meta language 說明一下就好