What is the definition of a "boy optimal" marriage?
It is true that the marriages in which each girl is married to her lowest ranked partner in any stable marriage set - the girl pessimal matching - is the same as the boy optimal matching. But this is a surprising fact with an ingenious proof; it is not the DEFINITION of a boy optimal matching.