But in copyedit, it had been made the decision that although proper, this was way too alien for typical people to immediately apprehend. So we adopted a courageous but unambiguous Conference that programmers would straight away apprehend: is a commutative monoid with identification aspect 0. This is a free monoid https://buyherbalmedicines.game.blog/