Someone may want to join a conference and simultaneously make a bid, but not
require to hear any of the conference, until the floor of that bid manifests
u? : P
b? : Bid
asides' = asides
floor' = floor
users' = users
It should be noted that unsuccessful operations have not been specified (i.e.
error handling) for reasons of brevity.