monoreductions