Always return a stable matching (no blocking pairs)