U7.2: implement the integration rules