Pith. sign in

REVIEW 1 major objections 6 minor 1 cited by

Graphical models for topological groups: A case study on countable Stone spaces

T0 review · 1 major / 6 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 This paper proves a complete coarse-geometric classification of homeomorphism groups of countable Stone spaces, and it constructs explicit Cayley-Abels-Rosendal graphs that compute the quasi-isometry type in every boundedly generated case.

desk verdict Worth reading: a genuinely useful new CAR graph framework and a mostly solid classification, with a fixable quantifier bug in the limit-ordinal proof. read the letter →

arxiv 2411.15337 v3 pith:EHEO6ER3 submitted 2024-11-22 math.GR math.GT

Beth Branman , George Domat , Hannah Hoganson , Robert Alonzo Lyman This is my paper · ORCID
classification math.GRmath.GT MSC 20F6522A0557S05
keywords Cayley-Abels-RosendalgraphcoarseboundednessPolishgroupshomeomorphismcountableStonespacesCantor-Bendixsonrankboundedgenerationquasi-isometry
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

This paper introduces Cayley-Abels-Rosendal graphs: countable connected graphs on which a Polish group (a separable, completely metrizable topological group) acts continuously, vertex transitively, with coarsely bounded vertex stabilizers and finitely many edge orbits. Coarse boundedness is the topological replacement for finiteness: a subset is coarsely bounded when every continuous isometric action of the group keeps its orbit bounded. These graphs generalize Cayley graphs and Cayley-Abels graphs, and the Milnor-Schwarz lemma makes any group admitting one boundedly generated and quasi-isometric to the graph. The main theorem classifies the homeomorphism groups of countable Stone spaces, the compact totally disconnected spaces that are classified by a countable ordinal $\alpha$ and an integer $n$. It proves that $\operatorname{Homeo}(X_{\alpha,n})$ is always locally bounded, coarsely bounded exactly when $n=1$, and boundedly generated but not coarsely bounded exactly when $n>1$ and $\alpha$ is a successor ordinal, with an explicit graph $\Gamma(\alpha,n)$ computing the quasi-isometry type in the boundedly generated cases.

What carries the argument

The central object is the Cayley-Abels-Rosendal graph: a connected countable graph on which a Polish group acts continuously, vertex transitively, with coarsely bounded vertex stabilizers and finitely many edge orbits. The Milnor-Schwarz lemma is the engine: it turns such an action into bounded generation and a quasi-isometry between the group, with a word metric from a coarsely bounded generating set, and the graph. For the successor-ordinal case the load-bearing construction is the graph $\Gamma(\alpha,n)$ whose vertices are good partitions, meaning $n$ clopen pieces each containing exactly one maximal point, and whose edges are maximal shifts. For the limit-ordinal case the load-bearing object is a height function $h(P,Q)$ on pairs of good partitions, whose sublevel sets define the chain of proper open subgroups used to rule out bounded generation.

What would settle it

Compute the height function for a concrete triple of good partitions at a limit ordinal $\alpha$ with $n\ge 3$, where at some rank $\beta$ the partition $P$ differs from $R$ only in one piece, $R$ differs from $Q$ only in a different piece, and $P$ differs from $Q$ in every piece. Under the definition as printed, this gives $h(P,Q)\ge\beta$ while $h(P,R)$ and $h(R,Q)$ are below $\beta$, refuting the strong triangle inequality on which the exhausting-chain proof depends; the existence or nonexistence of such triples is a direct check using the clopen sets that define the partitions.

Watch

Extended reading notes

Core claim

The paper's central claim is that the coarse geometry of $\operatorname{Homeo}(X_{\alpha,n})$ is fully determined by the pair $(\alpha,n)$. If $n=1$, the homeomorphism group is coarsely bounded. If $n>1$ and $\alpha=\beta+1$ is a successor ordinal, the group is boundedly generated but not coarsely bounded, and the paper constructs a Cayley-Abels-Rosendal graph whose vertices are the good partitions of $X_{\alpha,n}$ and whose edges are maximal shifts, thereby identifying the group's quasi-isometry type with that graph. If $n>1$ and $\alpha$ is a limit ordinal, the group is not boundedly generated; the witness is a countable chain of proper open subgroups that exhausts the group. The graph construction is new in every boundedly generated case.

Load-bearing premise

The limit-ordinal half of the classification rests on the height function $h(P,Q)$ and its strong triangle inequality; as printed, $h$ is defined by a 'for all pieces' condition, under which the inequality's proof is invalid, so the chain of open subgroups built from $h$ may fail to exhaust the group.

Editorial extensions

If this is right

  • Every group $\operatorname{Homeo}(X_{\alpha,n})$ with $n>1$ and $\alpha$ a successor ordinal is quasi-isometric to the explicit graph $\Gamma(\alpha,n)$, giving a concrete model of its large-scale geometry.
  • The limit-ordinal groups with $n>1$ admit no Cayley-Abels-Rosendal graph and no coarsely bounded generating set, so no word metric of the relevant kind exists for them.
  • Because bounded generation and coarse boundedness are preserved by continuous quotients, the trichotomy transfers to big mapping class groups whose end space is $X_{\alpha,n}$.
  • For countable discrete groups, coarsely bounded subsets are exactly finite sets, so the new construction reduces to ordinary Cayley graphs and recovers the classical finite-generation picture.

Reading between the lines

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

  • Correcting the height function to the existential reading used in the later lemmas would repair the limit-ordinal argument; the strong triangle inequality is the single step to recheck.
  • The successor-ordinal graph $\Gamma(\alpha,n)$ carries a natural Hamming-like distance, the number of points of rank $\beta$ that must be shifted between two good partitions; proving this distance is coarsely equivalent to graph distance would turn the quasi-isometry type into an explicit metric formula.
  • A testable next step is whether the limit-ordinal obstruction can be formulated purely in terms of the cofinality of the chain of open subgroups, which would make non-bounded-generation checkable without constructing a height function.
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

1 major / 6 minor

Summary. The paper introduces Cayley–Abels–Rosendal (CAR) graphs, countable connected graphs on which a Polish group acts continuously, vertex-transitively, with finitely many edge orbits and coarsely bounded vertex stabilizers. It proves a Milnor–Schwarz-type lemma showing that groups admitting such graphs are boundedly generated and quasi-isometric to them, and then applies this framework to homeomorphism groups of countable Stone spaces X_{α,n}. The main result, Theorem A, asserts that Homeo(X_{α,n}) is always locally bounded, is coarsely bounded exactly when n=1, and is boundedly generated but not coarsely bounded exactly when n>1 and α is a successor ordinal; for successor ordinals the authors construct explicit CAR graphs, and for limit ordinals they attempt to show non-bounded-generation via an exhaustive chain of open subgroups.

Significance. If the technical issue below is repaired, the paper is a valuable contribution. It gives a clean topological analogue of finite generation for Polish groups, provides explicit CAR graphs for the homeomorphism groups of countable Stone spaces in the successor-ordinal case, recovers and extends results of Mann–Rafi, and supplies new non-bounded-generation results in the limit-ordinal case. The exposition is largely self-contained, including a proof of the Mazurkiewicz–Sierpiński classification of countable Stone spaces, and the main structural arguments (Milnor–Schwarz, the double-coset graph construction, and the subgroup-chain criterion) are coherent. The most serious obstacle is a quantifier error in Section 4.4 that currently invalidates the limit-ordinal half of Theorem A; because the fix is local and the surrounding argument is otherwise sound, the central claims appear defensible after revision.

major comments (1)
  1. [Section 4.4, definition of h(P,Q) and Lemma 21] The quantifier in the definition of h is incompatible with the proofs. The text defines h(P,Q) as the supremum of β<α such that [P_i△Q_i]_β is nonempty for all i=1,...,n, but the proofs of Lemma 21's strong triangle inequality and of Lemmas 22–24 all use the existential reading ('there exists i'). Under the printed universal quantifier, Lemma 21 is false. For example, in X_{ω,3}, let R be obtained from P by moving a rank-1 point from P_1 to P_2, and let Q be obtained from R by moving a rank-1 point from R_2 to R_3; then h(P,R)=0 and h(R,Q)=0, because the rank-1 symmetric difference is not nonempty in all three pieces, while h(P,Q)≥1 because P△Q is nonempty at rank 1 in all three pieces. This violates h(P,Q)≤max{h(P,R),h(R,Q)}. Consequently, Lemma 22's properness argument fails as written: a homeomorphism that moves a single high-rank point from P_1 to P_2 has h(P,gP)=0 under the universal reading, so it lies in every Stab(P_β), and the chain of open subgroups may fail to be proper and may fail to exhaust Homeo(X_{α,n}). Since Proposition 19 and the limit-ordinal half of Theorem A rest entirely on this chain, the proof is unsupported as printed. The fix is local and clear: replace 'for all i' with 'there exists i' in the definition of h. Under that reading, the pointwise inclusion argument proves the strong triangle inequality, h(P,gP) is at least the rank of any point moved by g, and Lemmas 22–24 go through.
minor comments (6)
  1. [Section 4, Theorem A statement] The restatement of Theorem A at the start of Section 4 omits the hypothesis α>0 that is present in the introduction. For α=0, Homeo(X_{0,n}) is a finite symmetric group and hence coarsely bounded even when n>1, so the clause 'coarsely bounded if and only if n=1' needs the α>0 caveat.
  2. [Section 4.1, proof of Theorem 12] The induction hypothesis is stated only for characteristic pairs (α,1), but the pieces A_n and B_n in the back-and-forth construction can have finitely many maximal points. The proof should either state the induction hypothesis for all finite n or explicitly reduce each piece to the rank-one case before applying induction.
  3. [Section 4.1, proof of Theorem 12] There is a typo near the end of the sequential-continuity argument: 'f (xi) → xi' should read 'f (xi) → f (x)'.
  4. [Section 4.1, final sentence of Theorem 12] The statement that ω^α·n+1 with the order topology has characteristic pair (α,n) is inaccurate for α=0, where ω^0·n+1 = n+1 has n+1 points. The statement should be restricted to α>0 or adjusted to the ordinal n in the finite case.
  5. [Section 4.2, Corollary 14] The map Φ:gV↦g·x is only well-defined up to the bounded error coming from V⊂U; this should be stated explicitly, since otherwise the reader may wonder why the choice of coset representatives does not matter for the Lipschitz estimate.
  6. [Section 4.3, Lemma 17] The sentence 'Repeating this process for each ordered pair (i,j) yields the desired path' should justify that clearing P_i∩Q_j for one ordered pair is not undone by later shifts. This is true, because later operations only add Q_i-points to P_i, but the proof as written leaves that verification to the reader.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the derivation chain is self-contained; the one self-citation is illustrative rather than load-bearing.

full rationale

The central claims of Theorem A are derived from explicit constructions rather than from the conclusions being assumed. The Milnor-Schwarz lemma (Proposition 5) is proved in the paper from coarse boundedness, Rosendal's criterion, and Pettis's lemma. Proposition 8 gives a direct equivalence between admitting a Cayley-Abels-Rosendal graph and bounded generation, proved by constructing the graph Gamma(V,F) and applying Milnor-Schwarz; it does not presuppose the classification for Homeo(X_{alpha,n}). For successor ordinals, Proposition 16 explicitly builds the graph Gamma(alpha,n) whose vertices are good partitions and whose edges are maximal shifts, proves it is connected with infinite diameter (Lemma 17), and identifies it with Gamma(Stab(P),F) (Lemma 18); the bounded-generation and non-coarse-boundedness conclusions then follow from the general machinery. For limit ordinals, Proposition 19 uses Lemma 7 and a chain of proper open subgroups, an independent route that does not rely on the existence of a Cayley-Abels-Rosendal graph. The only self-citation by the present authors is [BL24], mentioned as a way to exhibit Homeo(X) as an automorphism group of a countable graph; the paper's later proofs use the standard compact-open topology basis given by finite clopen partitions directly, so [BL24] is not load-bearing. The dependence on Mann-Rafi [MR23, Theorem 1.5] for some positive parts of Theorem A is external and explicitly acknowledged; the subsequent statement that those parts of Theorem A imply corresponding mapping-class-group statements is a forward deduction, not an input to the proof. The fragile step identified by a careful reading is the quantifier in the height function h of Section 4.4: Lemma 21's strong triangle inequality appears to require an existential reading, while the displayed definition uses a universal reading. This is a correctness concern in the limit-ordinal proof, not a circularity: the non-bounded-generation conclusion is not built into the definition of h or into the exhaustive-subgroup-chain argument. No circular step of the kinds listed in the rubric is present.

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

No parameters are fitted to data. The central claims rest on standard theorems from descriptive set theory and coarse geometry, plus the new CAR graph construction. The only unusual foundational input is the height function argument in Section 4.4, which as printed has a quantification ambiguity that needs correction.

assumptions (5)
  • standard math Mazurkiewicz-Sierpinski classification of countable Stone spaces by characteristic pair (α,n)
    Theorem 12 in the paper, attributed to [MS20]; the paper's own proof is sketchy (unproven 'without loss of generality' steps) but the theorem is classical and used throughout Section 4.
  • standard math Pettis Lemma: a non-meagre analytic subset A of a Polish group G has A^{-1}A an identity neighborhood
    Lemma 4, cited from [Pet50]; used in Lemma 3 (boundedly generated implies locally bounded) and Lemma 6.
  • standard math Birkhoff-Kakutani metrization theorem and existence of adapted left-invariant metrics
    Used in Lemma 1 and Lemma 2, cited from [Bir36, Kak36] and [Ros22]; foundational for the coarse boundedness criterion.
  • standard math Rosendal's coarse boundedness criterion (Lemma 1) and the associated pseudometric construction (Lemma 2)
    Proved in the text following [Ros22]; this is the working definition of coarse boundedness used throughout.
  • domain assumption The group Homeo(X) of a second countable Stone space is a non-Archimedean Polish group with the compact-open topology
    Used in Section 4; follows from standard facts in descriptive set theory (Kechris) and the authors' [BL24] description of the topology via finite clopen partitions.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Graphical models for topological groups: A case study on countable Stone spaces." pith.science (2026). https://pith.science/paper/EHEO6ER3

@misc{pith2026241115337,
  author       = {Pith},
  title        = {Pith review of: Graphical models for topological groups: A case study on countable Stone spaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/EHEO6ER3}},
  note         = {Machine review of arXiv:2411.15337}
}
read the original abstract

By analogy with the Cayley graph of a group with respect to a finite generating set or the Cayley--Abels graph of a totally disconnected, locally compact group, we detail countable connected graphs associated to Polish groups that we term Cayley--Abels--Rosendal graphs. A group admitting a Cayley--Abels--Rosendal graph acts on it continuously, coarsely metrically properly and cocompactly by isometries of the path metric. By an expansion of the Milnor--Schwarz lemma, it follows that the group is generated by a coarsely bounded set and the group equipped with a word metric with respect to a coarsely bounded generating set and the graph are quasi-isometric. In other words, groups admitting Cayley--Abels--Rosendal graphs are topological analogues of finitely generated groups. Our goal is to introduce this topological perspective on the work of Rosendal to a geometric group theorist. We apply these concepts to homeomorphism groups of countable Stone spaces. We completely characterize when these homeomorphism groups are coarsely bounded, when they are locally bounded (all of them are), and when they admit a Cayley--Abels--Rosendal graph, and if so produce a coarsely bounded generating set.

Figures

Figures reproduced from arXiv: 2411.15337 by the authors.

Figure 1
Figure 1. Three examples of countable Stone spaces as subspaces of the plane. The top two figures [PITH_FULL_IMAGE:figures/full_fig_p014_1.png] view at source ↗
Figure 2
Figure 2. An example of the sets P ′ and P ′′ and the involution f for X2,1. The subsets of P ′ are meant to represent the partition sets P1, P2, and P3. Note that P0 is simply the complement of P ′ and hence not drawn explicitly. We note that the above corollary also follows from [MR23, Proposition 3.1] by considering Homeo(X) as a continuous quotient of the mapping class group of the genus zero surface with end space homeom… view at source ↗
Figure 3
Figure 3. An example of three partitions in Γ = Γ(2 [PITH_FULL_IMAGE:figures/full_fig_p017_3.png] view at source ↗
Figures from the paper (3 more)
Figure 4
Figure 4. Figure 4: An example of two partitions P, in blue, and Q, in teal, with d12 = 1 in Γ(2, 2). Pictured in red is P ′ 1 obtained by shifting P1 ∩ Q2 out of P1 and into P2. Note that the left maximal point is x1 and the right is x2. If instead dij = 0, we may freely choose a single …
Figure 5
Figure 5. Figure 5: An example of two partitions P, in blue, and Q, in teal, with d12 = 0 in Γ(2, 2). The sets U and V are represented in the top figure. In the bottom figure we have, in red, P ′ 1 obtained by shifting U out of P1 and into P2 and then shifting V back. Again, the left maxi…
Figure 6
Figure 6. Figure 6: An example of two edges in Γ(2, 2) sharing the vertex P and the map τ ∈ Stab(P) that maps one edge to the other. Interpreting the statements of Lemma 17 and Lemma 18 proves the classification for successor ordinals given in Proposition 16. Proof of Proposition 16. Beca…

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

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

  1. Algebraic and geometric properties of homeomorphism groups of ordinals

    math.GR 2024-12 accept novelty 6.0 of 10

    Homeomorphism groups of degree-one compact ordinals are uniformly perfect and strongly distorted with classified normal generators, while higher-degree cases split as semidirect products with computed abelianizations.

Reference graph

Works this paper leans on

26 extracted references · 13 canonical work pages · cited by 1 Pith paper

  1. [1]

    Large scale geometry of B anach- L ie groups

    Hiroshi Ando, Michal Doucha, and Yasumichi Matsuzawa. Large scale geometry of B anach- L ie groups. Trans. Amer. Math. Soc. , 375(4):2827--2881, 2022

    work page 2022

  2. [2]

    A note on topological groups

    Garrett Birkhoff. A note on topological groups. Compositio Math. , 3:427--430, 1936

    work page 1936

  3. [3]

    The complex of cuts in a Stone space

    Beth Branman and Robert Alonzo Lyman . The complex of cuts in a Stone space . available at arXiv:2408.06994 [math.GT], August 2024

    work page Pith review arXiv 2024

  4. [4]

    Amenable hyperbolic groups

    Pierre-Emmanuel Caprace, Yves Cornulier, Nicolas Monod, and Romain Tessera. Amenable hyperbolic groups. J. Eur. Math. Soc. (JEMS) , 17(11):2903--2947, 2015

    2015

  5. [5]

    Metric geometry of locally compact groups , volume 25 of EMS Tracts in Mathematics

    Yves Cornulier and Pierre de la Harpe. Metric geometry of locally compact groups , volume 25 of EMS Tracts in Mathematics . European Mathematical Society (EMS), Z\"urich, 2016. Winner of the 2016 EMS Monograph Award

    work page 2016

  6. [6]

    The automorphism group of the infinite-rank free group is coarsely bounded

    George Domat, Hannah Hoganson, and Sanghoon Kwak. The automorphism group of the infinite-rank free group is coarsely bounded. New York J. Math. , 28:1506--1511, 2022

    work page 2022

  7. [7]

    Coarse geometry of pure mapping class groups of infinite graphs

    George Domat, Hannah Hoganson, and Sanghoon Kwak. Coarse geometry of pure mapping class groups of infinite graphs. Adv. Math. , 413:Paper No. 108836, 57, 2023

    2023

  8. [8]

    Generating Sets and Algebraic Properties of Pure Mapping Class Groups of Infinite Graphs

    George Domat, Hannah Hoganson, and Sanghoon Kwak. Generating sets and algebraic properties of pure mapping class groups of infinite graphs. arXiv preprint arXiv:2309.07885 , 2023. To appear in A nnales H enri L ebesgue

    work page Pith review arXiv 2023

Show all 26 references
  1. [9]

    The P olish topology of the isometry group of the infinite-dimensional hyperbolic space

    Bruno Duchesne. The P olish topology of the isometry group of the infinite-dimensional hyperbolic space. Groups Geom. Dyn. , 17(2):633--670, 2023

    2023

  2. [10]

    Coarsely bounded generating sets for mapping class group of infinite-type surfaces

    Thomas Hill , Sanghoon Kwak , and Rebecca Rechkin . Coarsely bounded generating sets for mapping class group of infinite-type surfaces . available at arXiv:2312.02361 [math.GT], December 2023

    2023 arXiv

  3. [11]

    On the large scale geometry of big mapping class groups of surfaces with a unique maximal end

    Rita Jim \'e nez Rolland and Israel Morales . On the large scale geometry of big mapping class groups of surfaces with a unique maximal end . available at arXiv:2309.05820 [math.GT], September 2023

    2023 arXiv

  4. [12]

    \" U ber die M etrisation der topologischen G ruppen

    Shizuo Kakutani. \" U ber die M etrisation der topologischen G ruppen. Proc. Imp. Acad. Tokyo , 12(4):82--84, 1936

    1936

  5. [13]

    Alexander S. Kechris. Classical descriptive set theory , volume 156 of Graduate Texts in Mathematics . Springer-Verlag, New York, 1995

    1995

  6. [14]

    Cayley-abels graphs: Local and global perspectives

    Waltraud Lederle. Cayley-abels graphs: Local and global perspectives. arXiv preprint arXiv:2210.16284 , 2022

    2022 arXiv

  7. [15]

    On a measurable analogue of small topological full groups II

    Fran c ois Le Ma\^itre. On a measurable analogue of small topological full groups II . Ann. Inst. Fourier (Grenoble) , 71(5):1885--1927, 2021

    1927

  8. [16]

    A remark on cantor derivative

    C \'e dric Milliet. A remark on cantor derivative. arXiv preprint arXiv:1104.0287 , 2011

    2011 arXiv

  9. [17]

    Large-scale geometry of homeomorphism groups

    Kathryn Mann and Christian Rosendal. Large-scale geometry of homeomorphism groups. Ergodic Theory Dynam. Systems , 38(7):2748--2779, 2018

    2018

  10. [18]

    Large-scale geometry of big mapping class groups

    Kathryn Mann and Kasra Rafi. Large-scale geometry of big mapping class groups. Geom. Topol. , 27(6):2237--2296, 2023

    2023

  11. [19]

    Contribution à la topologie des ensembles dénombrables

    Stefan Mazurkiewicz and Wacław Sierpiński. Contribution à la topologie des ensembles dénombrables. Fundamenta Mathematicae , 1(1):17--27, 1920

    1920

  12. [20]

    J.R. Munkres. Topology . Featured Titles for Topology. Prentice Hall, Incorporated, 2000

    2000

  13. [21]

    B. J. Pettis. On continuity and openness of homomorphisms in topological groups. Ann. of Math. (2) , 52:293--308, 1950

    1950

  14. [22]

    Lectures on coarse geometry , volume 31 of University Lecture Series

    John Roe. Lectures on coarse geometry , volume 31 of University Lecture Series . American Mathematical Society, Providence, RI, 2003

    2003

  15. [23]

    Coarse geometry of topological groups , volume 223 of Cambridge Tracts in Mathematics

    Christian Rosendal. Coarse geometry of topological groups , volume 223 of Cambridge Tracts in Mathematics . Cambridge University Press, Cambridge, 2022

    2022

  16. [24]

    Graphs of curves and arcs quasi-isometric to big mapping class groups

    Anschel Schaffer-Cohen. Graphs of curves and arcs quasi-isometric to big mapping class groups. Groups Geom. Dyn. , 18(2):705--735, 2024

    2024

  17. [25]

    The sphere complex of a locally finite graph

    Brian Udall. The sphere complex of a locally finite graph. arXiv preprint arXiv:2407.07976 , 2024

    2024 arXiv

  18. [26]

    Homeomorphism groups of self-similar 2-manifolds

    Nicholas G Vlamis. Homeomorphism groups of self-similar 2-manifolds. In In the Tradition of Thurston III: Geometry and Dynamics , pages 105--167. Springer, 2024

    2024

Pith tools

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