mnli premise: But from Aumann and Maschler's work, we know that if you've found one consistent solution, you've found them all. hypothesis: Aumann and Maschler yet again show the consistency of solutions in their work. 