independence to irrelavent alternatives
aggregating x vs. y should ignore any possible z
independence to irrelavent alternativesindependence to irrelavent alternatives