[whichdan]

  you can define them as monoids in two ways
  (with 0 and addition, and with 1 and multiplication)

Thank you for pointing that out!