productArity
EOF
Summand
productElement
EOF
Summand
productPrefix
EOF
Summand
Protocol
sbinary