But in copyedit, it was made the decision that While accurate, this was as well alien for typical persons to right away apprehend. So we adopted a courageous but unambiguous convention that programmers would promptly apprehend: is a commutative monoid with identification element 0. This is a free monoid on https://naturalhealthproducts.water.blog/