This isn't a Chinese government ban, though. It's a US export restriction, not a Chinese import restriction. So why would the Chinese government do anything at all?