So, here X is going to be declared to be of type A. But we're going to assign it something of type B. And here we're notice that there's a gap between the static type, which will be A, and the dynamic type, which will be B. 