Multiple environments such as Definition, Proposition etc were removed from this paper (Fackler, Reference Fackler2025) during the proof stage to meet the journal’s preferred style, without explicit approval by the author.
However, on further discussion the editor and author agree that this removal may have introduced confusion, and readers may find it easier to follow the argument presented in the article with the environments present.
A version of the article restoring the environments has therefore been added to the article’s supplemental material (https://doi.org/10.1017/S1357321725100226) to clarify the author’s original intention.
Technically, the original article remains correct.