Pith. sign in

REVIEW 3 major objections 4 minor 3 cited by

Optimal transport and regularity of weak Kantorovich potentials on a globally hyperbolic spacetime

T0 review · 3 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read On globally hyperbolic spacetimes, the squared time-separation cost yields locally semiconvex weak Kantorovich potentials, and hence optimal transport maps.

desk verdict Local semiconvexity of pi-solutions for the squared time-separation cost is a genuine new result, but the proof leans on a central lemma that is only sketched in Minkowski and deferred; a serious referee should demand the general case. read the letter →

arxiv 2412.01012 v2 pith:22ULRAJV submitted 2024-12-02 math.OC math-phmath.DGmath.MP

Alec Metsch This is my paper · ORCID
classification math.OCmath-phmath.DGmath.MP MSC 49Q2249Q2053C50
keywords optimaltransportKantorovichpotentialssemiconvexitygloballyhyperbolicspacetimeLorentziancostmappi-solution
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper studies optimal transport on a globally hyperbolic spacetime with the squared Lorentzian time-separation cost $c_2(x,y)=(\tau(y)-\tau(x)-d(x,y))^2$ on causally related pairs and $\infty$ otherwise. Its central claim is that every weak Kantorovich potential, called a $\pi$-solution, attached to an optimal coupling is locally semiconvex on an open set of full source-measure, provided the source measure is absolutely continuous and the two supports are disjoint. From this regularity the author recovers, in the classical way, the existence of an optimal transport map and the first-order formula $\frac{\partial c_2}{\partial x}(x,T(x)) = -d_x\varphi(x)$. The result matters because it extends the Riemannian squared-distance theory of optimal transport to Lorentzian geometry and explains why a well-behaved transport map still exists when the cost function is allowed to take the value infinity.

What carries the argument

The argument is carried by the cost function $c_2$, realized as the minimal action of the Lagrangian $L_2(v)=(d\tau(v)-|v|_g)^2$ on future-directed causal tangent vectors. Its superlinear growth yields Theorem 1.2: a $c_2$-convex function $\varphi$ is locally bounded on $\Omega=\operatorname{int}(D)$, the set $D\setminus\Omega$ is countably $n$-rectifiable, and $c_2$-subdifferentials over compact subsets stay relatively compact. The main theorem adds a measure-theoretic step: the set $\Omega_0$ where the subdifferential is locally bounded away from the lightlike boundary $\partial J^+$ has full $\mu$-measure, and on a further full-measure subset $\Omega_1$ the potential can be locally represented as a supremum over points with $d(x,y)\ge\delta$. Since $c_2$ is locally semiconcave on the timelike region $I^+$, a finite supremum of uniformly locally semiconvex functions is locally semiconvex; the twist condition, strict convexity of $L_2$ on timelike directions, then converts differentiability into the transport-map formula.

What would settle it

Find a globally hyperbolic spacetime and a pair of causally related probability measures with $\mu$ absolutely continuous, disjoint supports, and an optimal coupling $\pi$ that assigns positive mass to $J^+\setminus I^+$, the lightlike boundary. Then Proposition 4.7(i) would be false in that setting, and the full-measure set $\Omega_1$ of Theorem 6.1, together with the transport-map formula, could not exist. A concrete check would be to compute optimal couplings between measures with mass accumulating near a null cone in a nontrivial spacetime and test whether any mass is transported along lightlike geodesics.

Watch

Extended reading notes

Core claim

On a globally hyperbolic spacetime $(M,g)$, take Borel probability measures $\mu,\nu$ that are causally related with $\tau\in L^2(\mu)\cap L^2(\nu)$, disjoint supports, and $\mu$ absolutely continuous with respect to the Lebesgue measure. The paper proves that for any optimal coupling $\pi$ admitting a $\pi$-solution $\varphi$, there exists an open set $\Omega_1\subseteq\Omega$ of full $\mu$-measure on which $\varphi$ is locally semiconvex. Consequently $\pi$ is induced by a Borel transport map $T$ satisfying, for $\mu$-almost every $x$, the equation $\frac{\partial c_2}{\partial x}(x,T(x)) = -d_x\varphi(x)$, with $T(x)$ uniquely determined at those points. If another optimal coupling exists, it cannot admit a $\pi$-solution. This is the Lorentzian analogue of the Riemannian regularity theorem for squared-distance costs.

Load-bearing premise

The proof depends on the claim that optimal couplings between such measures concentrate on the strictly timelike region $I^+$, but for this cost on a general globally hyperbolic spacetime that claim is only sketched and deferred to a reference using a different cost; if that transfer fails, the semiconvexity theorem and the transport-map conclusion lose their support.

Editorial extensions

If this is right

  • If $\mu,\nu$ are strictly timelike, causally compact, with connected and disjoint supports, and $\mu$ is absolutely continuous, then there is a unique optimal coupling and it is induced by a transport map (Corollary 1.5).
  • Every optimal coupling that admits a $\pi$-solution is induced by a transport map $\mu$-almost everywhere uniquely determined by $\frac{\partial c_2}{\partial x}(x,T(x)) = -d_x\varphi(x)$.
  • If a second optimal coupling exists alongside one with a $\pi$-solution, the second coupling cannot admit a $\pi$-solution, and neither can any convex combination of the two.
  • The set on which semiconvexity holds is open and of full $\mu$-measure, so the weak Kantorovich potential is differentiable away from a $\mu$-negligible set, exactly as in the Riemannian squared-distance case.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The author expects the absolute-continuity hypothesis can be weakened to '$\mu$ gives zero mass to countably $n$-rectifiable sets'; if true, the regularity theorem would cover singular measures that avoid the rectifiable set $D\setminus\Omega$.
  • The proof singles out $c_2$ among Lorentzian costs: unlike the linear cost (1.4) or McCann's $q$-cost (1.5), this cost is superlinear and locally semiconcave only on $I^+$, suggesting that the same semiconvexity phenomenon may fail, or require substantially new ideas, for the other costs.
  • Because the only missing step for a fully general proof is the transfer of Proposition 4.7 from Minkowski space to general globally hyperbolic spacetimes for this cost, a direct proof of that concentration statement would complete the argument and is a natural intermediate goal to test.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper studies the Kantorovich optimal transport problem on a globally hyperbolic spacetime (M,g) for the Lorentzian cost c2(x,y) = (τ(y)-τ(x)-d(x,y))^2 on J+ and +∞ otherwise. It introduces π-solutions as weak Kantorovich potentials calibrated by a fixed optimal coupling, proves existence of π-solutions under strict timelikeness and causal compactness (Proposition 1.1/4.10), and establishes structural properties of c2-convex functions: local boundedness on the interior of their finiteness domain, countable n-rectifiability of the boundary of that domain, and a compactness condition for near-maximizers (Theorem 1.2/5.1). The main theorem (Theorem 1.3/6.1) asserts that, under absolute continuity of μ, disjoint supports, and existence of a π-solution, the potential is locally semiconvex on an open set Ω1 of full μ-measure. From this the paper derives that any optimal coupling admitting a π-solution is induced by a transport map satisfying ∂c2/∂x(x,T(x)) = -dφ(x), together with a uniqueness statement (Corollary 1.4/6.2). The central regularity theorem depends essentially on Proposition 4.7, which claims that optimal couplings are concentrated on the timelike region I+ and that for μ-a.e. x the c2-subdifferential contains a timelike point.

Significance. If fully supported, the paper would be a meaningful extension of Riemannian optimal-transport regularity theory to a Lorentzian cost: it proves local semiconvexity of weak potentials and a classical transport-map formula for a cost c2 that is not locally semiconcave on all of M×M but is locally semiconcave on I+. The manuscript contains substantial technical work: a Lagrangian formulation with an L2-exponential map, a detailed adaptation of Figalli-Gigli's proof of the structural properties of c2-convex functions, and a proof of local semiconcavity of c2 on I+ (Proposition 7.13). It is also transparent about the provenance of many arguments, which is a strength. However, the paper's central claim is conditional on Proposition 4.7, whose proof is only sketched in Minkowski space and whose transfer to general globally hyperbolic spacetimes for the cost c2 is not demonstrated. The main theorem and the transport-map conclusion lose their support unless that gap is closed.

major comments (3)
  1. [Section 4, Proposition 4.7] Proposition 4.7 is stated for every globally hyperbolic spacetime and for the cost c2, but its proof is explicitly restricted to the Minkowski case and refers to [17, Theorem 2.12], which is proved for the cost (1.4), not for c2. Since c2 = c1^2 with c1(x,y) = τ(y)-τ(x)-d(x,y), c2-optimality does not automatically imply c1-optimality, so the citation does not transfer the result without further argument. This issue is load-bearing: Proposition 4.7(ii) is used in Proposition 6.9 to produce the full-measure set of points with a timelike element in the c2-subdifferential, and again in Corollary 6.19 and Corollary 6.2 to rule out lightlike pairs and to apply the twist condition on I+. The forward reference to 'the more general Theorem 6.6' is also inaccurate: Theorem 6.6 is a local strict-supremum bound, not a statement that optimal couplings are concentrated on I+. Please provide a complete proof of Proposition 4.7 for the cost c2 on general globally hyperbolic spacetimes, or a precise reduction that accounts for the quadratic transform.
  2. [Section 4, proof of Proposition 4.7(i)] Even in the Minkowski-space sketch, the argument assumes without proof that the set B and the partition sets {x ∈ B : |v_x - v| ≤ δ} are measurable, that the selected points x_i are Lebesgue points of one of these sets, and that inf_m φ(x_1^m) and sup_m φ(x_m^m) are finite independently of m. Since v_x is defined through an arbitrary choice of y ∈ (J+(x)\I+(x)) ∩ supp(π) ∩ ∂c2φ, a measurable selection argument is needed before Lebesgue's differentiation theorem can be applied. If Proposition 4.7 is to remain a stated result, these measurability and selection issues need to be resolved in the full proof.
  3. [Section 6, proof of Theorem 6.6, Step 2] The sets D_i := {x ∈ B | (x, v_{x,k}) ∈ U_i for infinitely many k} are treated as closed sets and are used to extract a Lebesgue point, but no measurability or closedness proof is supplied. The vector v_{x,k} is selected from a maximizing geodesic that depends on x and on a sequence (y_{x,k}), so D_i need not be Borel as defined. Since the contradiction argument requires a measurable set of positive measure, a measurable selection for v_{x,k} (or an alternative construction) is necessary. This is a gap in the proof of Theorem 6.6, which is itself needed for the construction of Ω1 in Theorem 6.1.
minor comments (4)
  1. [Section 6, Corollary 6.19] The text refers to 'Lemma 4.7', but the relevant statement is Proposition 4.7; please correct the cross-reference.
  2. [Section 6, proof of Corollary 6.2] In the displayed equation, the expression '∂c2/∂x c2(x,y)' should read '∂c2/∂x(x,y)'.
  3. [Throughout] There are several typographical errors: 'coplete' should be 'complete' in the proof of Proposition 4.10; 'starightforward' should be 'straightforward' in the proof of Theorem 5.1; 'rectifibale' should be 'rectifiable' in Definition 7.22; and 'this set if of full μ-measure' should be 'this set is of full μ-measure' in Corollary 6.19.
  4. [Sections 2 and 4] The paper repeatedly refers to 'the Lebesgue measure on M' (e.g., in Theorem 1.3, Proposition 4.7, and Section 6), but this measure is not defined. Please specify the reference measure, for example the measure induced by the fixed complete Riemannian metric h or by a volume form on M, and state the absolute-continuity condition relative to that measure.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the derivation is forward and self-contained; the flagged Proposition 4.7 gap is a correctness risk, not a circular step.

full rationale

The paper's derivation chain is forward: it defines c2 as a Lagrangian minimal action, derives its explicit form (Lemma 3.8), constructs pi-solutions by the Rockafellar method (Proposition 4.10), proves regularity of c2-convex functions (Theorem 5.1), and then proves local semiconvexity (Theorem 6.1) and the transport-map formula (Corollary 6.2). No equation is assumed equal to the target result, and no fitted parameter is renamed as a prediction. The main regularity theorem relies on in-paper results (Theorem 5.1, Theorem 6.5, Theorem 6.6, Proposition 7.13, Corollary 7.15) that are proven from stated assumptions, not imported as conclusions. The manuscript explicitly flags one limitation: Proposition 4.7 is only sketched for Minkowski space and is deferred to [17, Theorem 2.12], which concerns the different cost (1.4). The transfer to general globally hyperbolic spacetimes for c2 is not proven in detail. This is a genuine proof gap and a correctness risk, but it is not circularity: Proposition 4.7 is not defined in terms of Theorem 6.1, and the proof of Theorem 6.1 does not assume the conclusion it is meant to establish. There is no self-citation chain carrying the central claim, and the cited external results (Figalli-Gigli, Kell-Suhr, McCann, Villani) are independent support rather than the paper's own prior assumptions.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The paper rests on standard optimal transport duality and Lorentzian geometry background, plus one asserted transfer of a known result to a new cost function. No numerical parameters are fitted to data and no new physical entities are postulated; the pi-solution is a mathematical definition adapted from the (c, pi)-calibrated pairs of [13].

assumptions (5)
  • domain assumption Global hyperbolicity of the spacetime (Definition 2.1), including existence of a smooth time function tau with growth condition (2.1)
    Invoked throughout; the splitting and time function from [6] and [5] are used to define the cost and the estimates in Sections 3, 5, and 6.
  • standard math The optimal transport duality and existence of optimal couplings for lower semi-continuous costs (Theorem 2.4)
    Quoted from [2] and used as the foundation for Section 4.
  • standard math The geometric measure theory result Theorem 7.20 on countable rectifiability via tangent cones
    Used to prove Theorem 1.2(ii); proof modified from [29], Theorem 10.48.
  • standard math The characterization of locally semiconcave and semiconvex functions and their stability under sup and inf (Propositions A15 and A16 in [13])
    Used in Section 6 to conclude local semiconvexity of phi from the family of c2 functions.
  • ad hoc to paper The extension of [17, Theorem 2.12] (concentration of optimal couplings on I+) from cost (1.4) to the cost c2 (Proposition 4.7)
    The paper only sketches a proof in Minkowski space and asserts the general case follows from previous work; this transfer is load-bearing.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Optimal transport and regularity of weak Kantorovich potentials on a globally hyperbolic spacetime." pith.science (2026). https://pith.science/paper/22ULRAJV

@misc{pith2026241201012,
  author       = {Pith},
  title        = {Pith review of: Optimal transport and regularity of weak Kantorovich potentials on a globally hyperbolic spacetime},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/22ULRAJV}},
  note         = {Machine review of arXiv:2412.01012}
}
abstract

We consider the optimal transportation problem on a globally hyperbolic spacetime for some cost function $c_2$, which corresponds to the optimal transportation problem on a complete Riemannian manifold where the cost function is the Riemannian distance squared. Building on insights from previous studies on the Riemannian and Lorentzian case, our main goal is to investigate the regularity of $\pi$-solutions (weak versions of Kantorovich potentials), from which we can conclude, in a classical way, the existence, uniqueness and structure of an optimal transport map between given Borel probability measures $\mu$ and $\nu$, under suitable assumptions.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 3 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Semiconvexity of (weak) Kantorovich potentials in the Lorentzian optimal transport problem

    math.OC 2025-11 conditional novelty 7.0 of 10

    In globally hyperbolic spacetimes with cost −d^p, weak Kantorovich potentials are locally semiconvex on an open set of full measure, yielding a unique optimal transport map T with ∇φ+∇_x c=0.

  2. On the locus of multiple maximizing geodesics on a globally hyperbolic spacetime

    math.OC 2025-07 conditional novelty 7.0 of 10

    In globally hyperbolic spacetimes, the locus of multiple maximizing geodesics is locally contractible and homotopy equivalent to the causal future minus the Lorentzian Aubry set.

  3. Lipschitz continuity of the cut time for globally hyperbolic spacetimes

    math.DG 2026-07 conditional novelty 6.0 of 10

    In globally hyperbolic spacetimes, the focalization time and the cut time are locally Lipschitz on their finite domains, yielding a Hausdorff-codimension bound for the cut locus.

Reference graph

Works this paper leans on

29 extracted references · 25 canonical work pages · cited by 3 Pith papers

  1. [1]

    A user’s guide to optimal transport

    Luigi Ambrosio and Nicola Gigli. A user’s guide to optimal transport. InModelling and optimisation of flows on networks, volume 2062 ofLecture Notes in Math., pages 1–155. Springer, Heidelberg, 2013

    work page 2013

  2. [2]

    Lectures in Mathematics ETH Z¨urich

    Luigi Ambrosio, Nicola Gigli, and Giuseppe Savar´ e.Gradient flows in metric spaces and in the space of probability measures. Lectures in Mathematics ETH Z¨urich. Birkh¨auser Verlag, Basel, 2005

    work page 2005

  3. [3]

    Existence and stability results in theL 1 theory of optimal transportation

    Luigi Ambrosio and Aldo Pratelli. Existence and stability results in theL 1 theory of optimal transportation. InOptimal transportation and applications (Martina Franca, 2001), volume 1813 ofLecture Notes in Math., pages 123–160. Springer, Berlin, 2003

    work page 2001

  4. [4]

    Routledge, London, England, 2017

    John K Beem.Global Lorentzian Geometry, Second Edition. Routledge, London, England, 2017

    work page 2017

  5. [5]

    Globally hyperbolic spacetimes can be defined as ‘causal’ instead of ‘strongly causal’.Class

    Antonio N Bernal and Miguel S´ anchez. Globally hyperbolic spacetimes can be defined as ‘causal’ instead of ‘strongly causal’.Class. Quantum Gravity, 24(3):745–749, 2007

    work page 2007

  6. [6]

    Lyapounov functions of closed cone fields: from Conley theory to time functions.Comm

    Patrick Bernard and Stefan Suhr. Lyapounov functions of closed cone fields: from Conley theory to time functions.Comm. Math. Phys., 359(2):467–498, 2018

    work page 2018

  7. [7]

    Kantorovich potentials and continuity of total cost for relativistic cost functions.Journal de Math´ ematiques Pures et Appliqu´ ees, 110:93–122, 2018

    Jerome Bertrand, Aldo Pratelli, and Marjolaine Puel. Kantorovich potentials and continuity of total cost for relativistic cost functions.Journal de Math´ ematiques Pures et Appliqu´ ees, 110:93–122, 2018

    work page 2018

  8. [8]

    The optimal mass transport problem for relativistic costs.Calculus of Variations and Partial Differential Equations, 46:353 – 374, 2012

    J´ erˆ ome Bertrand and Marjolaine Puel. The optimal mass transport problem for relativistic costs.Calculus of Variations and Partial Differential Equations, 46:353 – 374, 2012

    work page 2012

Show all 29 references
  1. [9]

    Polar factorization and monotone rearrangement of vector-valued functions

    Yann Brenier. Polar factorization and monotone rearrangement of vector-valued functions. Communications on Pure and Applied Mathematics, 44(4):375–417, 1991

    1991

  2. [10]

    Extended Monge-Kantorovich theory

    Yann Brenier. Extended Monge-Kantorovich theory. InOptimal transportation and ap- plications (Martina Franca, 2001), volume 1813 ofLecture Notes in Math., pages 91–121. Springer, Berlin, 2003

    2001

  3. [11]

    Optimal transport in Lorentzian synthetic spaces, synthetic timelike Ricci curvature lower bounds and applications.Camb

    Fabio Cavalletti and Andrea Mondino. Optimal transport in Lorentzian synthetic spaces, synthetic timelike Ricci curvature lower bounds and applications.Camb. J. Math., 12(2):417–534, 2024

    2024

  4. [12]

    Causality for nonlocal phenomena.Ann

    Micha l Eckstein and Tomasz Miller. Causality for nonlocal phenomena.Ann. Henri Poincar´ e, 18(9):3049–3096, 2017

    2017

  5. [13]

    Optimal transportation on non-compact manifolds.Israel J

    Albert Fathi and Alessio Figalli. Optimal transportation on non-compact manifolds.Israel J. Math., 175:1–59, 2010

    2010

  6. [14]

    Local semiconvexity of Kantorovich potentials on non- compact manifolds.ESAIM Control Optim

    Alessio Figalli and Nicola Gigli. Local semiconvexity of Kantorovich potentials on non- compact manifolds.ESAIM Control Optim. Calc. Var., 17(3):648–653, 2011

    2011

  7. [15]

    L. V. Kantorovich. On a problem of Monge.Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. 54 Inst. Steklov. (POMI), 312:15–16, 2004. Reprinted from C. R. (Doklady) Acad. Sci. URSS (N.S.)3(1948), no. 2

    1948

  8. [16]

    Kantorovitch

    L. Kantorovitch. On the translocation of masses.C. R. (Doklady) Acad. Sci. URSS (N.S.), 37:199–201, 1942

    1942

  9. [17]

    On the existence of dual solutions for Lorentzian cost func- tions.Ann

    Martin Kell and Stefan Suhr. On the existence of dual solutions for Lorentzian cost func- tions.Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire, 37(2):343–372, 2020

    2020

  10. [18]

    Ricci curvature for metric-measure spaces via optimal trans- port.Ann

    John Lott and C´ edric Villani. Ricci curvature for metric-measure spaces via optimal trans- port.Ann. of Math. (2), 169(3):903–991, 2009

    2009

  11. [19]

    On the continuity of the total cost in the mass transport problem with relativistic cost functions, 2016

    Jean Louet, Aldo Pratelli, and Florian Zeisler. On the continuity of the total cost in the mass transport problem with relativistic cost functions, 2016

    2016

  12. [20]

    Robert J. McCann. Polar factorization of maps on riemannian manifolds.GAF A Geom. Funct. Anal., 11(3):589–608, 2001

    2001

  13. [21]

    Robert J. McCann. Displacement convexity of Boltzmann’s entropy characterizes the strong energy condition from general relativity.Camb. J. Math., 8(3):609–681, 2020

    2020

  14. [22]

    Lorentzian causality theory.Living Reviews in Relativity, 22:1–202, 2019

    Ettore Minguzzi. Lorentzian causality theory.Living Reviews in Relativity, 22:1–202, 2019

    2019

  15. [23]

    An optimal transport formulation of the Einstein equa- tions of general relativity.J

    Andrea Mondino and Stefan Suhr. An optimal transport formulation of the Einstein equa- tions of general relativity.J. Eur. Math. Soc. (JEMS), 25(3):933–994, 2023

    2023

  16. [24]

    Monge.M´ emoire sur la th´ eorie des d´ eblais et des remblais

    G. Monge.M´ emoire sur la th´ eorie des d´ eblais et des remblais. Imprimerie royale, 1781

  17. [25]

    Academic Press, San Diego, CA, USA, 1983

    Barrett O’Neill.Semi-Riemannian geometry with applications to relativity: Volume 103. Academic Press, San Diego, CA, USA, 1983

    1983

  18. [26]

    On the geometry of metric measure spaces.Acta Mathematica, 196(1):65 – 131, 2006

    Karl-Theodor Sturm. On the geometry of metric measure spaces.Acta Mathematica, 196(1):65 – 131, 2006

    2006

  19. [27]

    On the geometry of metric measure spaces

    Karl-Theodor Sturm. On the geometry of metric measure spaces. II.Acta Mathematica, 196(1):133 – 177, 2006

    2006

  20. [28]

    Theory of optimal transport for Lorentzian cost functions.M ¨unster J

    Stefan Suhr. Theory of optimal transport for Lorentzian cost functions.M ¨unster J. Math., 11(1):13–47, 2018

    2018

  21. [29]

    Springer, Berlin, 2009 edition, 2008

    Cedric Villani.Optimal Transport: Old and New. Springer, Berlin, 2009 edition, 2008

    2009

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.