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