@agoric.systems: Thanks @lukestokes!