Talk:Lattice of stable matchings