P
Initializing...
An accepted proposal preserves the deferred-acceptance invariants · Prove2Me