finish monoid scheme article