P
Initializing...
Gale–Shapley outcome is man-optimal · Prove2Me