welterweight is the weight division of what boxers?
(AND sports.boxer (JOIN sports.boxer.weight_division m.0fzw2n))