there are 10 types of people in this world: people who get this joke and people who don’t