Roko answers Better name for “Heavy-tailedness of the world?”