If Hatton fought Juan Diaz would that mean 9 and 10 fought as well?