Assertion list
auctioneer (primary) → Desires
Results from Ascent++: 1
auctioneer → Desires → first bid 0.43