> Okay, thanks. But if you prefer "must", and I prefer "must", and no one > else objects, can we not use "must" and insert a note into the terminology > section to the effect that "must" is used in the normative sense? I'll second that. I also prefer "must".