Some formal models of grading principles · Study