Oh, sorry was typing same thing at the same time :-) Also had to go find link for https://en.wikipedia.org/wiki/Independence_of_irrelevant_alt... which I couldn't remember the name of at first, but same money quote!