%name nat N.

_ = plus/s (plus/s plus/z).