jsalvatier comments on No independence of irrelevant alternatives (picture proof)