Many CEOs who make gender diversity a priority—by setting aspirational goals for the proportion of women in leadership roles, insisting on diverse slates of candidates for senior positions, and ...