Li-Fan Chen says to YSITD
人類是怎麼知道兩個演算法的結果一樣的(?