P
Initializing...
A terminated deferred-acceptance state is stable · Prove2Me