Er zijn 10 soorten mensen in de wereld