Definition:Trivial Grading