instanceof@tg
says to
YSITD
S(x) = x+1