papers.agoric.com-3u