At least outer sum: `tns+` Possibly other binary operators too.
At least outer sum:
tns+Possibly other binary operators too.