But In copyedit, it was decided that Even though right, this was also alien for typical folks to immediately apprehend. So we adopted a courageous but unambiguous convention that programmers would immediately apprehend: is a commutative monoid with identity factor 0. This is a cost-free monoid on 1 generator. This https://www.diigo.com/item/pdf/bksie/1dvo