A first monoid