So there's no uninteresting natural number. Because if there were some - there had to be a smallest uninteresting one. And cleary that would be an interesting property.