I did not want to use the word kinds in case someone knew the joke although the reality is that there are 11 kinds of people.