started monoid chapter