String universality in ten dimensions.