diff --git a/Sources/AngouriMath/Functions/Simplification/MultivariatePolynomial.cs b/Sources/AngouriMath/Functions/Algebra/Polynomials/MultivariatePolynomial.cs
similarity index 95%
rename from Sources/AngouriMath/Functions/Simplification/MultivariatePolynomial.cs
rename to Sources/AngouriMath/Functions/Algebra/Polynomials/MultivariatePolynomial.cs
index 388c02169..838fef080 100644
--- a/Sources/AngouriMath/Functions/Simplification/MultivariatePolynomial.cs
+++ b/Sources/AngouriMath/Functions/Algebra/Polynomials/MultivariatePolynomial.cs
@@ -30,12 +30,20 @@ namespace AngouriMath.Functions
     /// exactly the lexicographic order on exponents that <see cref="DivideExact"/> needs,
     /// and looking a monomial up costs one hash.
     /// </para>
-    /// </remarks>
-    /// <remarks>
-    /// Partial so that the operations only a Gröbner basis needs — monomial divisibility,
-    /// an order other than lexicographic, reduction against a set — live beside the solver
-    /// that wants them, in <c>Functions/Algebra/Groebner</c>, rather than swelling the type
-    /// that simplification uses. See <c>MultivariatePolynomial.Groebner.cs</c>.
+    /// <para>
+    /// This and its neighbours in <c>Functions/Algebra/Polynomials</c> are kernel algebra:
+    /// the solvers, the evaluator and the simplifier all depend on them, and they depend on
+    /// none of those. That direction is the point of the folder. <see cref="PolynomialGcd"/>
+    /// in particular is reached from simplification, from <c>Core/Transformations</c> and
+    /// from evaluation, which is why it lived under <c>Functions/Simplification</c> for as
+    /// long as simplification was the only caller anybody had counted.
+    /// </para>
+    /// <para>
+    /// Partial so that the operations only a Gröbner basis needs — monomial divisibility, an
+    /// order other than lexicographic, reduction against a set — live beside the solver that
+    /// wants them, in <c>Functions/Algebra/Groebner</c>, rather than here where every other
+    /// caller would have to read past them. See <c>MultivariatePolynomial.Groebner.cs</c>.
+    /// </para>
     /// </remarks>
     internal sealed partial class MultivariatePolynomial
     {
diff --git a/Sources/AngouriMath/Functions/Simplification/PolynomialFactoring.cs b/Sources/AngouriMath/Functions/Algebra/Polynomials/PolynomialFactoring.cs
similarity index 100%
rename from Sources/AngouriMath/Functions/Simplification/PolynomialFactoring.cs
rename to Sources/AngouriMath/Functions/Algebra/Polynomials/PolynomialFactoring.cs
diff --git a/Sources/AngouriMath/Functions/Simplification/PolynomialGcd.cs b/Sources/AngouriMath/Functions/Algebra/Polynomials/PolynomialGcd.cs
similarity index 100%
rename from Sources/AngouriMath/Functions/Simplification/PolynomialGcd.cs
rename to Sources/AngouriMath/Functions/Algebra/Polynomials/PolynomialGcd.cs