If I have to guess that is likely the case, but if that is the case then reasoning and formal process should me made clear and transparent, while the weird part is that Huawei is also under sanctions and has a lot people contributed to Linux, but they are not removed. So what is our standard process here?