há dois tipos de pessoas no mundo