We have not discussed the ordering function that is used to decide how
bids to change the floor are queued.
To do this, we need to introduce the idea of <#1311#> negotiation<#1311#>.
A negotiation would make use of an open floor conference to decide
what the ordering function should be. A negotiation is a sequence of
bids exchanged between the users concerning the ordering function.
These bids are made using particular speech acts.
All negotiations converge by increasing the strength of statements about
desired algorithm, by increasing priority of speech acts made by p's
in requesting it - i.e. bound the time to reach agreement (or else
leave the conference in disgust), by only negotiating in one
direction (e.g. for more restricted ordering function).
Other mechanisms might be feasible, but harder for the user to comprehend.
We argue that our model is reasonably ``natural''.