fixed SetOfOutcomes.v