Zuper comments on The average North Korean mathematician