Text B Generalizations and Stereotypes