graded derivation