a few more reduce exchanged for monoid-enabled Sigma/Pi calls