結果 : discrete structures rules