How does it happen that the most intractable types always rise to the top?