@agoric.systems: Hello @michaelcj!