name of a boxer in the super heavyweight division?
(AND sports.boxer (JOIN sports.boxer.weight_division m.03c72h))