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 Macschler's work doesn't contain a single valuable lesson. 