Text: The default procedures provide for the sale of all allowances at a single, clearing price.
Entailment: The default makes sure there isn't more than one sale.
Contradiction: Few of these have been sold without needing to do multiple sales.