tyler
:
Where in the Lampson paper is an <x, Adx> pair ever
used
for designation?