Li-Fan Chen says to YSITD
同樣的輸入應該會有同樣的輸出(?