+(s,t)
s+t