Who is a computer scientist, Anatoly Karatsuba or Leonid Levin?