Isn't the problem here the Anita Borg foundation and not Grace Hopper?