What has Tim Walz done to distinguish himself as smart? Has he had any big ideas? Does he have any technical expertise?