The default procedures provide for the sale of all allowances at a single, clearing price.
The default makes sure there isn't more than one sale. 
mnli hypothesis: The default makes sure there isn't more than one sale.  premise: The default procedures provide for the sale of all allowances at a single, clearing price.