Graded-ring conjecture. For any ideal α\alphaα of a graded ring RRR,
Power-series extension conjecture. For every ideal III of RRR,
