aggregating x vs. y should ignore any possible z

see also softmax predictor follows Luce’s Axiom