Agoric meets Ben West