Eris wrote:
Sorry I didn't notice this before, but you almost certainly want a statement that ID numbers must be unique.
Huh? Oh, I see the problem. Revised text:
(b) Such an assignment is INVALID unless the number is a
natural number distinct from any ID number, and greater
than any orderly ID number, previously assigned to an
entity of that type.
