[deleted] comments on No independence of irrelevant alternatives (picture proof)