“In any case, fifty year’s worth of US census data46 has proven that when women join an industry in high numbers, that industry attracts lower pay and loses ‘prestige’,”