Li-Fan Chen says to YSITD
rule1和rule2可能會有重複阿