In Step #$3,$ if X$1$ and Y$1$ were both T$1,$ why wouldn't Y$1$ need converting to T$2$ in for super$($T$2,$ T$2)?$