Candidates for derive-monoid