Changes

In closing, observe that the teridentity relation has turned up again in this context, as the second comma-ing of the universal term itself:

In closing, observe that the teridentity relation has turned up again in this context, as the second comma-ing of the universal term itself:

:{| cellpadding="4"

{| align="center" cellspacing="6" width="90%"

| 1,,

|

| B:B:B +, C:C:C +, D:D:D +, E:E:E +, I:I:I +, J:J:J +, O:O:O.

\mathbf{1},\!, =

\mathrm{B}\!:\!\mathrm{B}\!:\!\mathrm{B} ~+\!\!,~ \mathrm{C}\!:\!\mathrm{C}\!:\!\mathrm{C} ~+\!\!,~ \mathrm{D}\!:\!\mathrm{D}\!:\!\mathrm{D} ~+\!\!,~ \mathrm{E}\!:\!\mathrm{E}\!:\!\mathrm{E} ~+\!\!,~ \mathrm{I}\!:\!\mathrm{I}\!:\!\mathrm{I} ~+\!\!,~ \mathrm{J}\!:\!\mathrm{J}\!:\!\mathrm{J} ~+\!\!,~ \mathrm{O}\!:\!\mathrm{O}\!:\!\mathrm{O}

|}

|}