Before revision:  In particular, we focus on leximin optimal fairness and seek leximin optimal many-to-one stable matchings.
After revision:  In particular, we focus on leximin optimal fairness and seek leximin optimality over many-to-one stable matchings.