Pith. sign in

REVIEW 2 major objections 4 minor 1 cited by

On automorphisms and the cone conjecture for Enriques surfaces in odd characteristic

T0 review · 2 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read The cone conjecture for Enriques surfaces holds in every odd characteristic.

desk verdict A credible reduction proving the cone conjecture and finite generation for Enriques surfaces in odd characteristic; the non-finitely-generated surface theorem is real but rests on a sketched key proposition. read the letter →

arxiv 1908.07928 v3 pith:BP3BAGEW submitted 2019-08-20 math.AG

Long Wang This is my paper · ORCID
classification math.AG MSC 14J2814J5014G17
keywords EnriquessurfacesconeconjectureautomorphismgroupspositivecharacteristicK3supersingularcrystallineTorellitheoremeffectivenef
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

Over an algebraically closed field of odd characteristic, this paper proves the cone conjecture for Enriques surfaces: the automorphism group acts on the effective nef cone with a rational polyhedral fundamental domain. As a direct consequence, the automorphism group is finitely generated, and there are only finitely many smooth rational curves and elliptic fibrations up to automorphism. The proof reduces to the K3 cover, using crystalline Torelli for supersingular covers and characteristic-zero lifting for finite-height covers to place the relevant group as a finite-index subgroup of an arithmetic orthogonal group. The paper also constructs, for p greater than 3, a smooth projective surface birational to an Enriques surface whose automorphism group is discrete but not finitely generated, showing that the cone theorem for the minimal model does not force finite generation after blow-up.

What carries the argument

The load-bearing object is the equivariant Weyl group $W = \langle R_b \mid b \in \mathcal{N}\rangle$, where $R_b = r_b \circ r_{\theta^*(b)}$ and $\mathcal{N}$ is the set of nodal classes on the K3 cover orthogonal to their $\theta$-translate. Lemma 3.5 shows that $W$ preserves the $\theta$-invariant lattice $L$ and that the effective nef cone $\mathcal{A}$ is a fundamental domain for $W$ on the positive cone $C^+$. Theorem 3.6 then assembles $G = W \rtimes \operatorname{Aut}(X)^*$ and proves $G$ has finite index in the arithmetic group $O(L)^+$, using the crystalline Torelli theorem in the supersingular case and a characteristic-zero lifting in the finite-height case. Finite index in an arithmetic group is what supplies the rational polyhedral fundamental domain and, together with finite generation of arithmetic groups, the finite generation of $\operatorname{Aut}(X)$.

What would settle it

For the non-finite-generation example, compute the representation $\rho$ of the inertia group at $Q_{32}$ on the tangent space of $H_2$ and check whether every element of $\{t^{-2n}a\}_{n\ge 0}$ lies in its image; if even one power is missing, the proof of Theorem 4.3 fails. For the cone theorem, produce a finite-height Enriques surface whose characteristic-0 lift has $W_0 \rtimes \operatorname{Aut}(X_0)^*$ of infinite index in $O(L)^+$, which would refute Theorem 3.6(3).

Watch

Extended reading notes

Core claim

The central claim is that every Enriques surface over an algebraically closed field of odd characteristic satisfies the cone conjecture: the automorphism group acts on the effective nef cone with a rational polyhedral fundamental domain. The proof passes to the K3 cover $\tilde X$ with its fixed-point-free involution $\theta$, fixes the $\theta$-invariant sublattice $L$ of the Néron–Severi lattice, and studies the equivariant Weyl group generated by products $r_b \circ r_{\theta^*(b)}$ of reflections in orthogonal nodal pairs. The key finiteness step is that $W \rtimes \operatorname{Aut}(X)^*$ has finite index in the arithmetic group $O(L)^+$: for supersingular covers this comes from the crystalline Torelli theorem, and for finite-height covers from lifting to characteristic zero. That finite index yields the rational polyhedral fundamental domain and, via finite generation of arithmetic groups, the finite generation of $\operatorname{Aut}(X)$. The constructive half produces a blow-up of an Enriques surface whose automorphism group is discrete but not finitely generated.

Load-bearing premise

The load-bearing premise is that the finite-height case can be lifted to characteristic 0 without losing the finite-index property of the automorphism-lattice group, and that the unproved detail in the non-finite-generation example—that all powers $t^{-2n}a$ really occur in the image of the local inertia representation—is correct.

Editorial extensions

If this is right

  • If the paper is correct, the cone conjecture holds for every Enriques surface over an algebraically closed field of odd characteristic.
  • The automorphism group of every such Enriques surface is finitely generated, extending the characteristic-zero finiteness statement to odd positive characteristic.
  • On an Enriques surface in odd characteristic, there are only finitely many smooth rational curves and only finitely many elliptic fibrations up to automorphism.
  • For any smooth projective surface over a prime field birational to an Enriques surface, base change to any field extension still yields a finitely generated automorphism group.
  • For p greater than 3 there exists a smooth projective surface birational to an Enriques surface whose automorphism group is discrete but not finitely generated, answering the characteristic-p analogue of a question posed for the complex construction.

Reading between the lines

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

  • The odd-characteristic restriction is essential to the method: characteristic 2 Enriques surfaces need not admit an étale K3 cover, so the two-branch proof would require a different mechanism there.
  • The blow-up construction shows that finite generation of automorphism groups is not stable under blow-up in positive characteristic, even when the underlying minimal surface satisfies the cone conjecture.
  • The representation-theoretic mechanism behind the non-finite-generation example, where powers of a transcendental coordinate appear in the image of a local inertia group, looks like a generic source of non-finite generation; similar constructions on other surfaces with a one-parameter local action should yield new examples.
  • A natural next step would be to make the p=3 analogue explicit using quasi-fibrations, as the paper notes but does not carry out.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 4 minor

Summary. The paper proves the Morrison–Kawamata cone conjecture for Enriques surfaces over an algebraically closed field of odd characteristic, and shows that their automorphism groups are finitely generated. The proof passes to the K3 cover: for supersingular covers it uses Ogus's crystalline Torelli theorem and Lieblich–Maulik's Proposition 5.2, while for finite-height covers it uses Jang's lifting theorem and a characteristic-zero result of Dolgachev. In the second half, the paper constructs, for p>3, a blow-up of a specific Enriques surface whose automorphism group is discrete but not finitely generated, adapting the Keum–Oguiso complex-surface construction.

Significance. If the proofs are completed, Theorem 1.2 settles the cone conjecture for Enriques surfaces in odd characteristic and Theorem 1.3 gives the expected finite-generation result. Theorem 1.4 provides a positive-characteristic analogue of the Dinh–Oguiso and Keum–Oguiso examples and answers a question of [KO19]. The main outline is coherent and the reductions to published results are appropriate: the use of Ogus's crystalline Torelli theorem for supersingular K3 surfaces, the lifting arguments for finite-height K3 surfaces, and the arithmetic-group arguments for finite generation are all natural and, in the supersingular branch, essentially complete. The paper is clearly written and the strategy is convincing where full proofs are supplied.

major comments (2)
  1. [Section 4, Proposition 4.4] Proposition 4.4 is the sole source of the claim that the image of the representation rho contains the subgroup generated by {t^{-2n}a | n>=0}, and its proof is explicitly only a sketch: it states that replacing [Ko86, Lemma 2.6] and [Ko63, Theorem 9.1] by [Ma19, Lemma 2.17], [Ne64, Section III.17], and [Ta75, Section 6], 'the same argument as in [KO19, Pages 10 and 11] leads to' an element f with f^2(x)=t^2x on H2. No verification is provided that these characteristic-p replacements yield the identical formula, nor that the descent from the characteristic-zero construction in [KO19] preserves the exact equality f^2(x)=t^2x. This equality is the load-bearing step for Theorem 4.3 and therefore for Theorem 1.4; the manuscript's own label 'Sketch of Proof' confirms that the essential verification is absent and must be supplied before the theorem can be accepted.
  2. [Section 3, proof of Theorem 3.6(3)] The finite-height branch of Theorem 3.6(3) invokes 'the main theorem of [Do84]' to conclude that W0⋊Aut(X0)* has finite index in O(L)+, with the only stated justification being that X0 is defined over an algebraically closed field of characteristic 0. If [Do84] is proved only for complex Enriques surfaces, a Lefschetz-principle argument or a more precise reference is needed to cover X0 over an arbitrary algebraically closed field of characteristic 0. This step is load-bearing for Theorems 1.2 and 1.3 in the non-supersingular case, so the exact scope of the cited result should be stated explicitly.
minor comments (4)
  1. [Proof of Theorem 1.2] The phrase 'rational polynomial fundamental domain' should read 'rational polyhedral fundamental domain'.
  2. [Section 4, Proposition 4.4] The proposition is stated as a result but its proof is a sketch ending with 'The assertion then follows clearly'; either a complete proof should be given or the statement should be labeled as conditional on the cited characteristic-p analogues.
  3. [Section 4, Figure 1] The text repeatedly refers to Figure 1 and to the curves Ei, Fi, and Cij, but no figure appears in the manuscript; if the figure is missing from the submitted version, it should be included, since the labels are essential for following Construction 4.2 and Theorem 4.3.
  4. [Remark 1.5] Remark 1.5 says that for p=3 the desired example 'should' be obtainable by the same construction; please clarify whether Theorem 1.4 is intended to include p=3 or only p>3, and if p=3 is left open, state this explicitly in the main theorem.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found: the proof chain reduces to independent external results, not to its own inputs.

full rationale

The paper's derivations are reductions to published external theorems rather than to its own target claims. Theorem 3.6(3) is the only load-bearing structural input: in the supersingular case it uses Ogus's crystalline Torelli theorem and Lieblich–Maulik's finite-index result for K3 surfaces, and in the finite-height case it lifts to characteristic 0 and invokes Dolgachev's finite-index theorem for complex Enriques surfaces. Theorem 1.2 then applies the general Ash–Mumford–Rapoport–Tai rational polyhedral fundamental-domain result to the finite-index subgroup G of the arithmetic group O(L)+, and Theorem 1.3 follows from Borel–Harish-Chandra finite generation of arithmetic groups. None of these inputs is the odd-characteristic cone conjecture itself, and none is cited from the author's own prior work. The only soft spot is Proposition 4.4, whose proof is explicitly labeled only a 'Sketch of Proof' and refers to [KO19], [Ma19], [Ne64], and [Ta75] for the construction of f with f^2(x)=t^2x; that is a rigor/completeness concern about a cited argument pattern, not circularity, because the asserted formula is not being derived from the conclusion being proved. No parameter is fitted to data and then renamed a prediction, no quantity is defined in terms of the target, and no known result is merely renamed. The derivation is therefore self-contained with respect to the circularity criteria.

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

The paper introduces no free numerical parameters and no invented entities. Its central claims rest on a stack of external theorems, including Ogus, Lieblich-Maulik, Jang, Dolgachev, Borel-Harish-Chandra, Vinberg, and Ash-Mumford-Rapoport-Tai. The paper-specific assumptions are the odd-characteristic K3 cover, the existence of the Mukai Enriques surface with its curve configuration, and the property that the chosen elliptic curves are non-isogenous.

assumptions (10)
  • domain assumption Enriques surfaces over algebraically closed fields of odd characteristic admit an étale double cover by a K3 surface (the K3-cover), with fixed-point-free Enriques involution.
    Used throughout Section 3 to reduce statements about X to statements about the K3-cover X~ with the involution; characteristic p > 2 is exactly what the paper relies on for this cover.
  • standard math Ogus crystalline Torelli theorem for supersingular K3 surfaces (Theorem 2.2).
    Invoked to identify automorphisms of a supersingular K3-cover with isometries preserving the positive cone, period, and ample cone; key in Theorem 3.6(2).
  • standard math Lieblich-Maulik: the group G_K of isometries preserving positive cone and period has finite index in the positive isometry group of the Néron-Severi lattice (Proposition 2.3), and the K3 cone conjecture holds in odd characteristic.
    Bridges the supersingular and finite-height cases; used in Lemma 3.2 and Theorem 3.6(3).
  • standard math Jang's lifting theorem (Proposition 2.6): weakly tame automorphisms of finite-height K3 surfaces admit Néron-Severi preserving liftings over the Witt ring.
    Corollary 2.7 and the characteristic-0 reduction for finite-height K3-covers depend on it.
  • standard math Dolgachev's main theorem over complex numbers: for a complex Enriques surface X0, W0⋊Aut(X0)* has finite index in O(L)^+.
    The finite-height branch of Theorem 3.6(3) uses this as the terminal external result; without it, reduction to characteristic 0 would not yield finite index. Located in the proof of Theorem 3.6(3).
  • standard math Borel-Harish-Chandra: arithmetic groups are finitely generated.
    Used in the proof of Theorem 1.3 to pass from finite index in the arithmetic group O(L)^+ to finite generation.
  • standard math Vinberg reflection-group theory and Ash-Mumford-Rapoport-Tai: finite-index subgroups of arithmetic groups of self-dual homogeneous cones have rational polyhedral fundamental domains.
    These supply the polyhedral fundamental domain in Theorem 1.2 and the chamber statement in Lemma 3.5(3).
  • domain assumption Mukai's construction: the Kummer surface Km(E×F) with non-isogenous elliptic curves E and F admits an anti-symplectic involution θ such that X = X~/⟨θ⟩ is an Enriques surface with the stated double Kummer pencil configuration.
    Section 4's construction of the non-finitely-generated example starts from this built Enriques surface and relies on Mukai and Shioda's Picard number calculation.
  • domain assumption The elliptic curve E: y^2 = x(x-1)(x-t) with t transcendental over F_p is non-supersingular, while F is supersingular, and E and F are non-isogenous; the resulting Kummer surface has Picard number 18.
    Needed for the fibrations and lattice properties used in Proposition 4.4; stated as Assumption 4.1 and justified by known results of Mumford and Shioda.
  • standard math Néron and Tate classifications of singular fibers, Martin's Lemma 2.17, and related elliptic-surface facts are valid in the stated characteristics.
    Used in the sketched proof of Proposition 4.4 to identify the order of vanishing of the automorphism action in local coordinates; not fully elaborated in the paper.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On automorphisms and the cone conjecture for Enriques surfaces in odd characteristic." pith.science (2026). https://pith.science/paper/BP3BAGEW

@misc{pith2026190807928,
  author       = {Pith},
  title        = {Pith review of: On automorphisms and the cone conjecture for Enriques surfaces in odd characteristic},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/BP3BAGEW}},
  note         = {Machine review of arXiv:1908.07928}
}
read the original abstract

We prove that, for an Enriques surface in odd characteristic, the automorphism group is finitely generated and it acts on the effective nef cone with a rational polyhedral fundamental domain. We also construct a smooth projective surface in odd characteristic which is birational to an Enriques surface and whose automorphism group is discrete but not finitely generated.

Figures

Figures reproduced from arXiv: 1908.07928 by the authors.

Figure 1
Figure 1. Curves Ei , Fj and Cij Let us denote the unique point Ej ∩Cij (resp. Fi∩Cij ) by Pij (resp. P 0 ij ). Choose affine coordinates x and u of Ej and Fi , respectively, such that P1j = 1, P2j = t, P3j = ∞, P4j = 0 on Ej with respect to the coordinate x, and P 0 i1 = 1, P0 i2 = s, P0 i3 = ∞, P0 i4 = 0 on Fi with respect to the coordinate u. We recall the construction of Mukai [Mu10] for X = Km( e E × F). Al￾though Mukai … view at source ↗

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. Orbits of smooth rational curves on Enriques surfaces

    math.AG 2025-07 conditional novelty 8.0 of 10

    The number of automorphism orbits of smooth rational curves on an Enriques surface equals a weighted sum of orbit counts of the ADE components of its Nikulin root invariant under the Vinberg group.

Reference graph

Works this paper leans on

39 extracted references · 39 canonical work pages · cited by 1 Pith paper

  1. [1]

    Press, 2010

    Ash, A., Mumford, D., Rapoport, M., Tai, Y.-S., Smooth compactifications of locally symmetric varieties, Second edition, Cambridge Mathematical Library, Cambridge Univ. Press, 2010

    work page 2010

  2. [2]

    Borel, A., Harish-Chandra, Arithmetic subgroups of algebraic groups, Ann. of Math. 75 (1962), 485--535

    work page 1962

  3. [3]

    Barth, W., Hulek, K., Peters, C., Van de Ven, A., Compact complex surfaces, Second enlarged edition, Springer Verlag, Berlin-Heidelberg, 2004

    work page 2004

  4. [4]

    I, Progress in Mathematics, 76

    Cossec, R., Dolgachev, I., Enriques surfaces. I, Progress in Mathematics, 76. Birkhauser Boston, Inc., Boston, MA, 1989

    work page 1989

  5. [5]

    Dolgachev, I., On automorphisms of Enriques surfaces, Invent. Math. 76 (1984), 163--177

    work page 1984

  6. [6]

    Study in Pure Math

    Dolgachev, I., A brief introduction to Enriques surfaces, in Development of Moduli Theory --- Kyoto 2013, Adv. Study in Pure Math. Math. Soc. 69, 1--32, Math. Soc. Japan, Tokyo, 2016

    work page 2013

  7. [7]

    Dinh, T.-C., Oguiso, K., A surface with discrete and nonfinitely generated automorphism group, Duke Math. J. 168 (2019), 941--966

    work page 2019

  8. [8]

    Jang, J., The representations of the automorphism groups and the Frobenius invariants of K3 surfaces, Michigan Math. J. 65 (2016), 147--163

    work page 2016

Show all 39 references
  1. [9]

    Jang, J., A lifting of an automorphism of a K3 surface over odd characteristic, Int. Math. Res. Not. IMRN 2017 (2017), no. 6, 1787--1804

    2017

  2. [10]

    Kawamata, Y., On the cone of divisors of Calabi--Yau fiber spaces, Internat. J. Math. 8 (1997), no. 5, 665--687

    1997

  3. [11]

    Kodaira, K., On compact analytic surfaces. II, Ann. of Math. 77 (1963), 563--626

    1963

  4. [12]

    Kondo, S., Enriques surfaces with finite automorphism groups, Japan. J. Math. 12 (1986), 191--282

    1986

  5. [13]

    Keum, J., Oguiso, K., A surface birational to an Enriques surface with non-finitely generated automorphism group, arXiv:1904.04451

    1904 arXiv

  6. [14]

    Kuwata, M., Shioda, T., Elliptic parameters and defining equations for elliptic fibrations on a Kummer surface, in Algebraic Geometry in East Asia --- Hanoi 2005, Adv. Stud. Pure Math. 50, Math. Soc. Japan, Tokyo, 2008, 177--215

    2005

  7. [15]

    E., Quasi-elliptic surfaces in characteristic three, Ann

    Lang, W. E., Quasi-elliptic surfaces in characteristic three, Ann. Sci. \' E cole Norm. Sup. 12 (1979), 473--500

    1979

  8. [16]

    Lesieutre, J., A projective variety with discrete non-finitely generated automorphism group, Invent. Math. 212 (2018) 189--211

    2018

  9. [17]

    Liedtke, C., Lectures on supersingular K3 surfaces and the crystalline Torelli theorem, in K3 surfaces and their moduli, 171--235, Progr. Math. 315, Birkh\" a user/Springer, 2016

    2016

  10. [18]

    Lieblich, M., Maulik, D., A note on the cone conjecture for K3 surfaces in positive characteristic, Math. Res. Lett. 25 (2018), 1879--1891

    2018

  11. [19]

    Lazi\' c , V., Oguiso, K., Peternell, T., The Morrison-Kawamata cone conjecture and abundance on Ricci flat manifolds, in Uniformization, Riemann-Hilbert correspondence, Calabi-Yau manifolds and Picard-Fuchs equations, 157--185, Adv. Lect. Math. 42, Int. Press, Somerville, MA, 2018

    2018

  12. [20]

    Martin, G., Enriques surfaces with finite automorphism group in positive characteristic, Algebraic Geometry 6 (5) (2019) 592--649

    2019

  13. [21]

    R., Compactifications of moduli spaces inspired by mirror symmetry, in Journees de geometrie algebrique d'Orsay (Orsay, 1992), Asterisque 218 (1993), 243--271

    Morrison, D. R., Compactifications of moduli spaces inspired by mirror symmetry, in Journees de geometrie algebrique d'Orsay (Orsay, 1992), Asterisque 218 (1993), 243--271

    1993

  14. [22]

    Mumford, D., Abelian varieties, with appendices by C. P. Ramanujam and Yuri Manin, Corrected reprint of the second (1974) edition, Tata Institute of Fundamental Research, Bombay, 2008

    1974

  15. [23]

    Mukai, S., Numerically trivial involutions of Kummer type of an Enriques surface, Kyoto J. Math. 50 (2010), 889--902

    2010

  16. [24]

    Namikawa, Y., Periods of Enriques surfaces, Math. Ann. 270 (1985), 201--222

    1985

  17. [25]

    N\' e ron, A., Mod\` e les minimaux des vari\' e t\' e s ab\' e liennes sur les corps locaux et globaux , IHES Publ. Math. 21 (1964), 5--128

    1964

  18. [26]

    Ogus, A., A crystalline Torelli theorem for supersingular K3 surfaces, Progress in Mathematics 36 (1983), 361--394

    1983

  19. [27]

    Oguiso, K., On Jacobian fibrations on the Kummer surfaces of the product of non-isogenous elliptic curves, J. Math. Soc. Japan 41 (1989), 651--680

    1989

  20. [28]

    Oguiso, K., A surface in odd characteristic with discrete and non-finitely generated automorphism group, arXiv:1901.01351

    1901 arXiv

  21. [29]

    Oguiso, K., Shioda, T., The Mordell-Weil lattice of a rational elliptic surface, Comment. Math. Univ. St. Paul. 40 (1991), 83--99

    1991

  22. [30]

    Oguiso, K., Sakurai, J., Calabi-Yau threefolds of quotient type, Asian J. Math. 5 (2001), 43--77

    2001

  23. [31]

    Shioda, T., Algebraic cycles on certain K3 surfaces in characteristic p, in Manifolds--Tokyo 1973, 357--364. Univ. Tokyo Press, Tokyo, 1975

    1973

  24. [32]

    Shioda, T., On the Mordell--Weil lattices, Comment. Math. Univ. St. Paul. 39 (1990), 211--240

    1990

  25. [33]

    Sterk, H., Finiteness results for algebraic K3 surfaces, Math. Z. 189 (1985), 507--513

    1985

  26. [34]

    I, Grundlehren der Mathematischen Wissenschaften 247, Springer--Verlag, Berlin--New York, 1982

    Suzuki, M., Group theory. I, Grundlehren der Mathematischen Wissenschaften 247, Springer--Verlag, Berlin--New York, 1982

    1982

  27. [35]

    Tate, J., Algorithm for determining the type of a singular fiber in an elliptic pencil, in Modular functions of one variable IV, Lecture Notes in Mathematics 476, 33--52, Springer--Verlag, 1975

    1975

  28. [36]

    Totaro, B., The cone conjecture for Calabi-Yau pairs in dimension 2, Duke Math. J. 154 (2010), no. 2, 241--263

    2010

  29. [37]

    Ueno, K., Classification theory of algebraic varieties and compact complex spaces, Lecture Notes in Mathematics 439, Springer--Verlag, 1975

    1975

  30. [38]

    B., Discrete group generated by reflections, Izv

    Vinberg, E. B., Discrete group generated by reflections, Izv. Math. 5 (1971), 1083--1119

    1971

  31. [39]

    B., Some arithmetical discrete groups in Lobachevsky spaces, in Discrete subgroups of Lie groups and applications to moduli (Internat

    Vinberg, E. B., Some arithmetical discrete groups in Lobachevsky spaces, in Discrete subgroups of Lie groups and applications to moduli (Internat. Colloq., Bombay, 1973), 323--348, Oxford Univ. Press, Bombay, 1975

    1973

Pith tools

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