1) Should the token format be a part of the formal spec? Only servers sharing service keys need to agree on it. 2) what's nametag for? 3) > ... The use of Tn to establish an rxgk security class if it can ... class seems wrong here...