-
Upgrading SPHERE with the second stage AO system SAXO+: non-common path aberrations estimation and correction
Authors:
Johan Mazoyer,
Charles Goulas,
Fabrice Vidal,
Isaac Bernardino Dinis,
Julien Milli,
Michel Tallon,
Raphaël Galicher,
Oliver Absil,
Clémentine Béchet,
Anthony Boccaletti,
Florian Ferreira,
Maud Langlois,
Patrice Martinez,
Laurent Mugnier,
Mamadou N'diaye,
Gilles Orban de Xivry,
Axel Potier,
Isabelle Tallon-Bosc,
Arthur Vigan
Abstract:
SAXO+ is a planned enhancement of the existing SAXO, the VLT/ SPHERE adaptive optics system, deployed on ESO's Very Large Telescope. This upgrade is designed to significantly enhance the instrument's capacity to detect and analyze young Jupiter-like planets. The pivotal addition in SAXO+ is a second-stage adaptive optics system featuring a dedicated near-infrared pyramid wavefront sensor and a sec…
▽ More
SAXO+ is a planned enhancement of the existing SAXO, the VLT/ SPHERE adaptive optics system, deployed on ESO's Very Large Telescope. This upgrade is designed to significantly enhance the instrument's capacity to detect and analyze young Jupiter-like planets. The pivotal addition in SAXO+ is a second-stage adaptive optics system featuring a dedicated near-infrared pyramid wavefront sensor and a second deformable mirror. This secondary stage is strategically integrated to address any residual wavefront errors persisting after the initial correction performed by the current primary AO loop, SAXO. However, several recent studies clearly showed that in good conditions, even in the current system SAXO, non-common path aberrations (NCPAs) are the limiting factor of the final normalized intensity in focal plane, which is the final metric for ground-based high-contrast instruments. This is likely to be even more so the case with the new AO system, with which the AO residuals will be minimized. Several techniques have already been extensively tested on SPHERE in internal source and/or on-sky and will be presented in this paper. However, the use of a new type of sensor for the second stage, a pyramid wavefront sensor, will likely complicate the correction of these aberrations. Using an end-to-end AO simulation tool, we conducted simulations to gauge the effect of measured SPHERE NCPAs in the coronagraphic image on the second loop system and their correction using focal plane wavefront sensing systems. We finally analyzed how the chosen position of SAXO+ in the beam will impact the evolution of the NCPAs in the new instrument.
△ Less
Submitted 26 June, 2024;
originally announced June 2024.
-
Numerical simulations for the SAXO+ upgrade: Performance analysis of the adaptive optics system
Authors:
Charles Goulas,
Raphaël Galicher,
Fabrice Vidal,
Johan Mazoyer,
Florian Ferreira,
Arnaud Sevin,
Anthony Boccaletti,
Eric Gendron,
Clémentine Béchet,
Michel Tallon,
Maud Langlois,
Caroline Kulcsár,
Henri-François Raynaud,
Nicolas Galland,
Laura Schreiber,
Isaac Bernardino Dinis,
François Wildi,
Gaël Chauvin,
Julien Milli
Abstract:
SPHERE, operating at the VLT since 2014, is currently one of the high-contrast instruments with a higher performance. Its adaptive optics system, known as SAXO, will be upgraded to SAXO+, which features the addition of a second stage of adaptive optics. This stage will use a near-infrared pyramid wavefront sensor to record images of fainter exoplanets around redder stars. In this work, we compare…
▽ More
SPHERE, operating at the VLT since 2014, is currently one of the high-contrast instruments with a higher performance. Its adaptive optics system, known as SAXO, will be upgraded to SAXO+, which features the addition of a second stage of adaptive optics. This stage will use a near-infrared pyramid wavefront sensor to record images of fainter exoplanets around redder stars. In this work, we compare the performance of SAXO and SAXO+. We look for the optimal values of the key system parameters of SAXO+ for various science cases and turbulence conditions. We performed numerical simulations using COMPASS, an end-to-end adaptive optics simulation tool. We simulated perfect coronagraph images of an on-axis point source, and we minimized the residual starlight intensity between 3 and 5 $λ/D$ as a performance criterion. The explored parameter space includes science cases, turbulence conditions, and key system parameters. In every science case and turbulence condition, SAXO+ reduces the residual starlight intensity inside the correction zone of the second stage by a factor of ten compared to SAXO. The optimal first stage gain is lower for SAXO+ than for SAXO alone. We quantified the gain in performance of SAXO+ when changing the second stage frequency from 2 kHz to 3 kHz, and we conclude that 2 kHz may be sufficient for most realistic conditions. We give the optimal first stage gain as well as the first and second stage frequencies for every seeing, coherence time, and science case. Finally, we find that a 2 ${λ_{\mathrm{WFS}}}/D$ pyramid modulation radius is a good trade-off between performance and robustness against varying turbulence conditions. This study shows that the future SAXO+ system will outperform the current SAXO system in all studied cases.
△ Less
Submitted 25 June, 2024;
originally announced June 2024.
-
Towards an Enumeration of Finite Common Meadows
Authors:
João Dias,
Bruno Dinis
Abstract:
Common meadows are commutative and associative algebraic structures with two operations (addition and multiplication) with additive and multiplicative identities and for which inverses are total. The inverse of zero is an error term $\mathbf{a}$ which is absorbent for addition. We study the problem of enumerating all finite common meadows of \emph{order} $n$ (that is, common meadows with $n$ eleme…
▽ More
Common meadows are commutative and associative algebraic structures with two operations (addition and multiplication) with additive and multiplicative identities and for which inverses are total. The inverse of zero is an error term $\mathbf{a}$ which is absorbent for addition. We study the problem of enumerating all finite common meadows of \emph{order} $n$ (that is, common meadows with $n$ elements). This problem turns out to be deeply connected with both the number of finite rings of order $n$ and with the number of a certain kind of partition of positive integers.
△ Less
Submitted 7 June, 2024; v1 submitted 19 January, 2024;
originally announced January 2024.
-
Strolling through common meadows
Authors:
João Dias,
Bruno Dinis
Abstract:
Meadows are a sort of commutative rings with a multiplicative identity element and a total multiplicative inverse operation. In this paper we study algebraic properties of common meadows, which are meadows that introduce, as the inverse of zero, an error term $\abf$ which is absorbent for addition. We show that common meadows are unions of rings which are ordered by a partial order that defines a…
▽ More
Meadows are a sort of commutative rings with a multiplicative identity element and a total multiplicative inverse operation. In this paper we study algebraic properties of common meadows, which are meadows that introduce, as the inverse of zero, an error term $\abf$ which is absorbent for addition. We show that common meadows are unions of rings which are ordered by a partial order that defines a lattice. These results allow us to generalize some classical algebraic constructions to the setting of common meadows. We also briefly consider common meadows from a categorical perspective.
△ Less
Submitted 8 May, 2024; v1 submitted 9 November, 2023;
originally announced November 2023.
-
Assemblies as Semigroups
Authors:
Ulderico Dardano,
Bruno Dinis,
Giuseppina Terzo
Abstract:
In this paper we give an algebraic characterization of assemblies in terms of bands of groups. We also consider substructures and homomorphisms of assemblies. We give many examples and counterexamples.
In this paper we give an algebraic characterization of assemblies in terms of bands of groups. We also consider substructures and homomorphisms of assemblies. We give many examples and counterexamples.
△ Less
Submitted 20 September, 2023;
originally announced September 2023.
-
Flexible involutive meadows
Authors:
Bruno Dinis,
Emanuele Bottazzi
Abstract:
We investigate a notion of inverse for neutrices inspired by Van den Berg and Koudjeti's decomposition of a neutrix as the product of a real number and an idempotent neutrix. We end up with an algebraic structure that can be characterized axiomatically and generalizes involutive meadows. The latter are algebraic structures where the inverse for multiplication is a total operation. As it turns out,…
▽ More
We investigate a notion of inverse for neutrices inspired by Van den Berg and Koudjeti's decomposition of a neutrix as the product of a real number and an idempotent neutrix. We end up with an algebraic structure that can be characterized axiomatically and generalizes involutive meadows. The latter are algebraic structures where the inverse for multiplication is a total operation. As it turns out, the structures satisfying the axioms of flexible involutive meadows are of interest beyond nonstandard analysis.
△ Less
Submitted 3 September, 2023;
originally announced September 2023.
-
Stateful Realizers for Nonstandard Analysis
Authors:
Bruno Dinis,
Étienne Miquey
Abstract:
In this paper we propose a new approach to realizability interpretations for nonstandard arithmetic. We deal with nonstandard analysis in the context of (semi)intuitionistic realizability, focusing on the Lightstone-Robinson construction of a model for nonstandard analysis through an ultrapower. In particular, we consider an extension of the $λ$-calculus with a memory cell, that contains an intege…
▽ More
In this paper we propose a new approach to realizability interpretations for nonstandard arithmetic. We deal with nonstandard analysis in the context of (semi)intuitionistic realizability, focusing on the Lightstone-Robinson construction of a model for nonstandard analysis through an ultrapower. In particular, we consider an extension of the $λ$-calculus with a memory cell, that contains an integer (the state), in order to indicate in which slice of the ultrapower $\cal{M}^{\mathbb{N}}$ the computation is being done. We pay attention to the nonstandard principles (and their computational content) obtainable in this setting. In particular, we give non-trivial realizers to Idealization and a non-standard version of the LLPO principle. We then discuss how to quotient this product to mimic the Lightstone-Robinson construction.
△ Less
Submitted 24 April, 2023; v1 submitted 11 October, 2022;
originally announced October 2022.
-
CoVault: A Secure Analytics Platform
Authors:
Roberta De Viti,
Isaac Sheff,
Noemi Glaeser,
Baltasar Dinis,
Rodrigo Rodrigues,
Bobby Bhattacharjee,
Anwar Hithnawi,
Deepak Garg,
Peter Druschel
Abstract:
Analytics on personal data, such as individuals' mobility, financial, and health data can be of significant benefit to society. Such data is already collected by smartphones, apps and services today, but liberal societies have so far refrained from making it available for large-scale analytics. Arguably, this is due at least in part to the lack of an analytics platform that can secure data through…
▽ More
Analytics on personal data, such as individuals' mobility, financial, and health data can be of significant benefit to society. Such data is already collected by smartphones, apps and services today, but liberal societies have so far refrained from making it available for large-scale analytics. Arguably, this is due at least in part to the lack of an analytics platform that can secure data through transparent, technical means (ideally with decentralized trust), enforce source policies, handle millions of distinct data sources, and run queries on billions of records with acceptable query latencies. To bridge this gap, we present an analytics platform called CoVault which combines secure multi-party computation (MPC) with trusted execution environment (TEE)-based delegation of trust to be able execute approved queries on encrypted data contributed by individuals within a datacenter to achieve the above properties. We show that CoVault scales well despite the high cost of MPC. For example, CoVault can process data relevant to epidemic analytics for a country of 80M people (about 11.85B data records/day) on a continuous basis using a core pair for every 20,000 people. Compared to a state-of-the-art MPC-based platform, CoVault can process queries between 7 to over 100 times faster, as well as scale to many sources and big data.
△ Less
Submitted 22 January, 2024; v1 submitted 7 August, 2022;
originally announced August 2022.
-
On definable Skolem functions and trichotomy
Authors:
Bruno Dinis,
Mário J. Edmundo
Abstract:
In this paper we give an explicit characterization of o-minimal structures with definable Skolem functions/definable choice. Such structures are, after naming finitely many elements from the prime model, a union of finitely many trivial points each defined over $\emptyset $ and finitely many open intervals each a union of a $\emptyset $-definable family of group-intervals with fixed positive eleme…
▽ More
In this paper we give an explicit characterization of o-minimal structures with definable Skolem functions/definable choice. Such structures are, after naming finitely many elements from the prime model, a union of finitely many trivial points each defined over $\emptyset $ and finitely many open intervals each a union of a $\emptyset $-definable family of group-intervals with fixed positive elements.
△ Less
Submitted 22 July, 2022;
originally announced July 2022.
-
Strong convergence for the alternating Halpern-Mann iteration in CAT(0) spaces
Authors:
Bruno Dinis,
Pedro Pinto
Abstract:
In this paper we consider, in the general context of CAT(0) spaces, an iterative schema which alternates between Halpern and Krasnoselskii-Mann style iterations. We prove, under suitable conditions, the strong convergence of this algorithm, benefiting from ideas from the proof mining program. We give quantitative information in the form of effective rates of asymptotic regularity and of metastabil…
▽ More
In this paper we consider, in the general context of CAT(0) spaces, an iterative schema which alternates between Halpern and Krasnoselskii-Mann style iterations. We prove, under suitable conditions, the strong convergence of this algorithm, benefiting from ideas from the proof mining program. We give quantitative information in the form of effective rates of asymptotic regularity and of metastability (in the sense of Tao). Motivated by these results we are also able to obtain strongly convergent versions of the forward-backward and the Douglas-Rachford algorithms. Our results generalize recent work by Boţ, Csetnek and Meier, and Cheval and Leuştean.
△ Less
Submitted 9 March, 2023; v1 submitted 29 December, 2021;
originally announced December 2021.
-
Effective metastability for a method of alternating resolvents
Authors:
Bruno Dinis,
Pedro Pinto
Abstract:
A generalized method of alternating resolvents was introduced by Boikanyo and Moro{\c s}anu as a way to approximate common zeros of two maximal monotone operators. In this paper we analyse the strong convergence of this algorithm under two different sets of conditions. As a consequence we obtain effective rates of metastability (in the sense of Terence Tao) and quasi-rates of asymptotic regularity…
▽ More
A generalized method of alternating resolvents was introduced by Boikanyo and Moro{\c s}anu as a way to approximate common zeros of two maximal monotone operators. In this paper we analyse the strong convergence of this algorithm under two different sets of conditions. As a consequence we obtain effective rates of metastability (in the sense of Terence Tao) and quasi-rates of asymptotic regularity. Furthermore, we bypass the need for sequential weak compactness in the original proofs. Our quantitative results are obtained using proof-theoretical techniques in the context of the proof mining program.
△ Less
Submitted 29 January, 2021;
originally announced January 2021.
-
On the convergence of algorithms with Tikhonov regularization terms
Authors:
Bruno Dinis,
Pedro Pinto
Abstract:
We consider the strongly convergent modified versions of the Krasnosel'skiĭ-Mann, the forward-backward and the Douglas-Rachford algorithms with Tikhonov regularization terms, introduced by Radu Boţ, Ernö Csetnek and Dennis Meier. We obtain quantitative information for these modified iterations, namely rates of asymptotic regularity and metastability. Furthermore, our arguments avoid the use of seq…
▽ More
We consider the strongly convergent modified versions of the Krasnosel'skiĭ-Mann, the forward-backward and the Douglas-Rachford algorithms with Tikhonov regularization terms, introduced by Radu Boţ, Ernö Csetnek and Dennis Meier. We obtain quantitative information for these modified iterations, namely rates of asymptotic regularity and metastability. Furthermore, our arguments avoid the use of sequential weak compactness and use only a weak form of the projection argument.
△ Less
Submitted 14 May, 2020;
originally announced May 2020.
-
Parametrised Functional Interpretations
Authors:
Bruno Dinis,
Paulo Oliva
Abstract:
This paper presents a general framework for unifying functional interpretations. It is based on families of parameters allowing for different degrees of freedom on the design of the interpretation. In this way we are able to generalise previous work on unifying functional interpretations, by including in the unification the more recent bounded and Herbrandized functional interpretations.
This paper presents a general framework for unifying functional interpretations. It is based on families of parameters allowing for different degrees of freedom on the design of the interpretation. In this way we are able to generalise previous work on unifying functional interpretations, by including in the unification the more recent bounded and Herbrandized functional interpretations.
△ Less
Submitted 12 May, 2020;
originally announced May 2020.
-
Quantitative results on the multi-parameters Proximal Point Algorithm
Authors:
Bruno Dinis,
Pedro Pinto
Abstract:
We give a quantitative analysis of a theorem due to Fenghui Wang and Huanhuan Cui concerning the convergence of a multi-parametric version of the proximal point algorithm. Wang and Cui's result ensures the convergence of the algorithm to a zero of the operator. Our quantitative analysis provides explicit bounds on the metastability (in the sense of Terence Tao) for the convergence and the asymptot…
▽ More
We give a quantitative analysis of a theorem due to Fenghui Wang and Huanhuan Cui concerning the convergence of a multi-parametric version of the proximal point algorithm. Wang and Cui's result ensures the convergence of the algorithm to a zero of the operator. Our quantitative analysis provides explicit bounds on the metastability (in the sense of Terence Tao) for the convergence and the asymptotic regularity of the iteration. Moreover, our analysis bypasses the need of sequential weak compactness and only requires a weak form of the metric projection argument.
△ Less
Submitted 19 December, 2019;
originally announced December 2019.
-
Metastability of the proximal point algorithm with multi-parameters
Authors:
Bruno Dinis,
Pedro Pinto
Abstract:
In this article we use techniques of proof mining to analyse a result, due to Yonghong Yao and Muhammad Aslam Noor, concerning the strong convergence of a generalized proximal point algorithm which involves multiple parameters. Yao and Noor's result ensures the strong convergence of the algorithm to the nearest projection point onto the set of zeros of the operator. Our quantitative analysis, guid…
▽ More
In this article we use techniques of proof mining to analyse a result, due to Yonghong Yao and Muhammad Aslam Noor, concerning the strong convergence of a generalized proximal point algorithm which involves multiple parameters. Yao and Noor's result ensures the strong convergence of the algorithm to the nearest projection point onto the set of zeros of the operator. Our quantitative analysis, guided by Fernando Ferreira and Paulo Oliva's bounded functional interpretation, provides a primitive recursive bound on the metastability for the convergence of the algorithm, in the sense of Terence Tao. Furthermore, we obtain quantitative information on the asymptotic regularity of the iteration. The results of this paper are made possible by an arithmetization of the $\limsup$.
△ Less
Submitted 26 March, 2020; v1 submitted 21 June, 2019;
originally announced June 2019.
-
Fundamental group in o-minimal structures with definable Skolem functions
Authors:
Bruno Dinis,
Mário J. Edmundo,
Marcello Mamino
Abstract:
In this paper we work in an arbitrary o-minimal structure with definable Skolem functions and we prove that definably connected, locally definable manifolds are uniformly definably path connected, have an admissible cover by definably simply connected, open definable subsets and, definable paths and definable homotopies on such locally definable manifolds can be lifted to locally definable coverin…
▽ More
In this paper we work in an arbitrary o-minimal structure with definable Skolem functions and we prove that definably connected, locally definable manifolds are uniformly definably path connected, have an admissible cover by definably simply connected, open definable subsets and, definable paths and definable homotopies on such locally definable manifolds can be lifted to locally definable covering maps. These properties allows us to obtain the main properties of the general o-minimal fundamental group, including: invariance and comparison results; existence of universal locally definable covering maps; monodromy equivalence for locally constant o-minimal sheaves - from which one obtains, as in algebraic topology, classification results for locally definable covering maps, o-minimal Hurewicz and Seifert - van Kampen theorems.
△ Less
Submitted 8 November, 2019; v1 submitted 25 July, 2018;
originally announced July 2018.
-
On flexible sequences
Authors:
Bruno Dinis,
Tran Van Nam,
Imme van den Berg
Abstract:
In the setting of nonstandard analysis we introduce the notion of flexible sequence. The terms of flexible sequences are external numbers. These are a sort of analogue for the classical \emph{O$ (\cdot ) $} and \emph{o$ (\cdot ) $} notation for functions, and have algebraic properties similar to those of real numbers. The flexibility originates from the fact that external numbers are stable under…
▽ More
In the setting of nonstandard analysis we introduce the notion of flexible sequence. The terms of flexible sequences are external numbers. These are a sort of analogue for the classical \emph{O$ (\cdot ) $} and \emph{o$ (\cdot ) $} notation for functions, and have algebraic properties similar to those of real numbers. The flexibility originates from the fact that external numbers are stable under some shifts, additions and multiplications. We introduce two forms of convergence, and study their relation. We show that the usual properties of convergence of sequences hold or can be adapted to these new notions of convergence and give some applications.
△ Less
Submitted 8 January, 2018;
originally announced January 2018.
-
Old and new approaches to the Sorites paradox
Authors:
Bruno Dinis
Abstract:
The Sorites paradox is the name of a class of paradoxes that arise when vague predicates are considered. Vague predicates lack sharp boundaries in extension and is therefore not clear exactly when such predicates apply.
Several approaches to this class of paradoxes have been made since its first formulation by Eubulides of Miletus in the IV century BCE. In this paper I survey some of these appro…
▽ More
The Sorites paradox is the name of a class of paradoxes that arise when vague predicates are considered. Vague predicates lack sharp boundaries in extension and is therefore not clear exactly when such predicates apply.
Several approaches to this class of paradoxes have been made since its first formulation by Eubulides of Miletus in the IV century BCE. In this paper I survey some of these approaches and point out some of the criticism that these approaches have received. A new approach that uses tools from nonstandard analysis to model the paradox is proposed.
△ Less
Submitted 3 April, 2017;
originally announced April 2017.
-
Axiomatics for the external numbers of nonstandard analysis
Authors:
Bruno Dinis,
Imme van den Berg
Abstract:
Neutrices are additive subgroups of a nonstandard model of the real numbers. An external number is the algebraic sum of a nonstandard real number and a neutrix. Due to the stability by some shifts, external numbers may be seen as mathematical models for orders of magnitude. The algebraic properties of external numbers gave rise to the so-called solids, which are extensions of ordered fields, havin…
▽ More
Neutrices are additive subgroups of a nonstandard model of the real numbers. An external number is the algebraic sum of a nonstandard real number and a neutrix. Due to the stability by some shifts, external numbers may be seen as mathematical models for orders of magnitude. The algebraic properties of external numbers gave rise to the so-called solids, which are extensions of ordered fields, having a restricted distributivity law. However, necessary and sufficient conditions can be given for distributivity to hold. In this article we develop an axiomatics for the external numbers. The axioms are similar to, but mostly somewhat weaker than the axioms for the real numbers and deal with algebraic rules, Dedekind completeness and the Archimedean property. A structure satisfying these axioms is called a complete arithmetical solid. We show that the external numbers form a complete arithmetical solid, implying the consistency of the axioms presented. We also show that the set of precise elements (elements with minimal magnitude) has a built-in nonstandard model of the rationals. Indeed the set of precise elements is situated between the nonstandard rationals and the nonstandard reals whereas the set of non-precise numbers is completely determined.
△ Less
Submitted 5 May, 2017; v1 submitted 9 May, 2016;
originally announced May 2016.
-
Intuitionistic nonstandard bounded modified realisability and functional interpretation
Authors:
Bruno Dinis,
Jaime Gaspar
Abstract:
We present a bounded modified realisability and a bounded functional interpretation of intuitionistic nonstandard arithmetic with nonstandard principles.
The functional interpretation is the intuitionistic counterpart of Ferreira and Gaspar's functional interpretation and has similarities with Van den Berg, Briseid and Safarik's functional interpretation but replacing finiteness by majorisabilit…
▽ More
We present a bounded modified realisability and a bounded functional interpretation of intuitionistic nonstandard arithmetic with nonstandard principles.
The functional interpretation is the intuitionistic counterpart of Ferreira and Gaspar's functional interpretation and has similarities with Van den Berg, Briseid and Safarik's functional interpretation but replacing finiteness by majorisability.
We give a threefold contribution: constructive content and proof-theoretical properties of nonstandard arithmetic; filling a gap in the literature; being in line with nonstandard methods to analyse compactness arguments.
△ Less
Submitted 12 December, 2017; v1 submitted 22 December, 2015;
originally announced December 2015.
-
Characterization of distributivity in a solid
Authors:
Bruno Dinis,
Imme van den Berg
Abstract:
We give a characterization of the validity of the distributive law in a solid. There exists equivalence between the characterization and the modified axiom of distibutivity valid in a solid.
We give a characterization of the validity of the distributive law in a solid. There exists equivalence between the characterization and the modified axiom of distibutivity valid in a solid.
△ Less
Submitted 29 October, 2015;
originally announced October 2015.
-
On the quotient class of non-archimedean fields
Authors:
Bruno Dinis,
Imme van den Berg
Abstract:
The quotient class of a non-archimedean field is the set of cosets with respect to all of its additive convex subgroups. The algebraic operations on the quotient class are the Minkowski sum and product. We study the algebraic laws of these operations. Addition and multiplication have a common structure in terms of regular ordered semigroups. The two algebraic operations are related by an adapted d…
▽ More
The quotient class of a non-archimedean field is the set of cosets with respect to all of its additive convex subgroups. The algebraic operations on the quotient class are the Minkowski sum and product. We study the algebraic laws of these operations. Addition and multiplication have a common structure in terms of regular ordered semigroups. The two algebraic operations are related by an adapted distributivity law.
△ Less
Submitted 29 October, 2015;
originally announced October 2015.