So, on reading this I imagine that this is purely for "mature" process nodes, and not definitely for cutting-edge nodes, plus the fact that some of the semicond

So, on reading this I imagine that this is purely for "mature" process nodes, and not definitely for cutting-edge nodes, plus the fact that some of the semiconductor infrastructure is already there (for use in image sensors), so 7 billion US dollars might be in the correct ballpark.