結果 : adding binary rules