But we actually get a bit more, since the space is now T0.
但是我们实际上得到的要多了一点，因为这个空间现在是 T0 的。