Oskar Mathiasen comments on The average North Korean mathematician