Premise: The default procedures provide for the sale of all allowances at a single, clearing price.

Hypothesis: Few of these have been sold without needing to do multiple sales.
Relation: contradiction