Premise: But from Aumann and Maschler's work, we know that if you've found one consistent solution, you've found them all.
Hypothesis: One lesson from the work is that if you've found a single consistent solution, you've found every single one. 
Label: entailment