https://9lib.net/document/z3djm6v8-class-multipartner-matching-markets-strong-lattice-structure.html