And then that's essentially going to be it because you can use the exact same argument and the fact that it is a Type 2 region to prove this, and the exact same argument and the fact that it is a Type 3 region to prove that. 