But in copyedit, it was resolved that Though right, this was also alien for usual persons to instantly apprehend. So we adopted a courageous but unambiguous convention that programmers would instantly apprehend: is really a commutative monoid with identification aspect 0. This is a totally free monoid on just one https://hairfallcontrolcomboformen.blogspot.com/