Interesting. INTJs are, I think, about 0.5 percent of the pop.