Good point. I think I assumed x,y and z would be rational numbers (equivalent to integers), and ignored tie-breaking as some extra step that might or might not involve counting red-haired witch-doctors in each team :)

(Although, I could retrospectively pretend that I intended the domain to include infinite ordinals.)