Okay, we can leave it for now, but mathematically all we are using in propagate is the monoid.