derivation and integration rules