implemented unique randomization, allowing auction to terminate with one outcome (the corresponding proof is tbd)