boolean monoid updates