add integral rules