Added wc monoid