Li-Fan Chen says to YSITD
目前幾乎沒有任何程式語言可以做出那個判斷