Added a note for Monoid/Ring confusion in propagate