https://hakresearch.com/agoric-la-gi/