with_bot.add_monoid source