Definition 15.4. Define Sn(T)=SnM() for any / some MT (because if M,NT, then SnN()=SnM() as Th(M)=Th(N)=T).