What Types Are Good Against Normal Types Are Strong