Some technical features of the graded consequence.