Been to the real life doctors this morning. I was eleventh in line for an emergency appointment. One of the ten when asked stated a preference for a male doctor, four asked for a woman doctor, five had no preference. So in conclusion, women doctors who might save your life, or get you time off work - good, women doctors who want to fight robots and time travel - bad. I shouldn't have listened really.