But in copyedit, it was resolved that although suitable, this was way too alien for typical persons to immediately apprehend. So we adopted a courageous but unambiguous convention that programmers would right away apprehend: can be a commutative monoid with identification component 0. It's really a cost-free monoid on a https://justpaste.it/ff2kn