Ah yes, that’s right. Yeah, I just wanted to make this part fully explicit to confirm my understanding. But I agree it’s equivalent to just let M′2 ignore the extra X′0 (or whatever) component.
Thanks very much!
Ah yes, that’s right. Yeah, I just wanted to make this part fully explicit to confirm my understanding. But I agree it’s equivalent to just let M′2 ignore the extra X′0 (or whatever) component.
Thanks very much!