-
Using Large Language Models to Accelerate Communication for Users with Severe Motor Impairments
Authors:
Shanqing Cai,
Subhashini Venugopalan,
Katie Seaver,
Xiang Xiao,
Katrin Tomanek,
Sri Jalasutram,
Meredith Ringel Morris,
Shaun Kane,
Ajit Narayanan,
Robert L. MacDonald,
Emily Kornman,
Daniel Vance,
Blair Casey,
Steve M. Gleason,
Philip Q. Nelson,
Michael P. Brenner
Abstract:
Finding ways to accelerate text input for individuals with profound motor impairments has been a long-standing area of research. Closing the speed gap for augmentative and alternative communication (AAC) devices such as eye-tracking keyboards is important for improving the quality of life for such individuals. Recent advances in neural networks of natural language pose new opportunities for re-thi…
▽ More
Finding ways to accelerate text input for individuals with profound motor impairments has been a long-standing area of research. Closing the speed gap for augmentative and alternative communication (AAC) devices such as eye-tracking keyboards is important for improving the quality of life for such individuals. Recent advances in neural networks of natural language pose new opportunities for re-thinking strategies and user interfaces for enhanced text-entry for AAC users. In this paper, we present SpeakFaster, consisting of large language models (LLMs) and a co-designed user interface for text entry in a highly-abbreviated form, allowing saving 57% more motor actions than traditional predictive keyboards in offline simulation. A pilot study with 19 non-AAC participants ty** on a mobile device by hand demonstrated gains in motor savings in line with the offline simulation, while introducing relatively small effects on overall ty** speed. Lab and field testing on two eye-gaze ty** users with amyotrophic lateral sclerosis (ALS) demonstrated text-entry rates 29-60% faster than traditional baselines, due to significant saving of expensive keystrokes achieved through phrase and word predictions from context-aware LLMs. These findings provide a strong foundation for further exploration of substantially-accelerated text communication for motor-impaired users and demonstrate a direction for applying LLMs to text-based user interfaces.
△ Less
Submitted 3 December, 2023;
originally announced December 2023.
-
Early stages of Galilean moon formation in a water-depleted environment
Authors:
Olivier Mousis,
Antoine Schneeberger,
Jonathan I. Lunine,
Christopher R. Glein,
Alexis Bouquet,
Steven D. Vance
Abstract:
A key feature of the Galilean satellite system is its monotonic decrease in bulk density with distance from Jupiter, indicating an ice mass fraction that is zero in the innermost moon Io, and about half in the outer moons Ganymede and Callisto. Jupiter formation models, and perhaps the Juno spacecraft water measurements, are consistent with the possibility that the Jovian system may have formed, a…
▽ More
A key feature of the Galilean satellite system is its monotonic decrease in bulk density with distance from Jupiter, indicating an ice mass fraction that is zero in the innermost moon Io, and about half in the outer moons Ganymede and Callisto. Jupiter formation models, and perhaps the Juno spacecraft water measurements, are consistent with the possibility that the Jovian system may have formed, at least partly, from ice-poor material. And yet, models of the formation of the Galilean satellites usually assume abundant water ice in the system. Here, we investigate the possibility that the Jovian circumplanetary disk was populated with ice-depleted chondritic minerals, including phyllosilicates. We show that the dehydration of such particles and the outward diffusion of the released water vapor allow condensation of significant amounts of ice in the formation region of Ganymede and Callisto in the Jovian circumplanetary disk. Our model predicts that Europa, Ganymede and Callisto should have accreted little if any volatiles other than water ice, in contrast to the comet-like composition of Saturn's moon Enceladus. This mechanism allows for the presence of ice-rich moons in water-depleted formation environments around exoplanets as well.
△ Less
Submitted 25 January, 2023;
originally announced January 2023.
-
An analytic solution for evaluating the magnetic field induced from an arbitrary, asymmetric ocean world
Authors:
Marshall J. Styczinski,
Steven D. Vance,
Erika M. Harnett,
Corey J. Cochrane
Abstract:
Magnetic investigations of icy moons have provided some of the most compelling evidence available confirming the presence of subsurface, liquid water oceans. In the exploration of ocean moons, especially Europa, there is a need for mathematical models capable of predicting the magnetic fields induced under a variety of conditions, including in the case of asymmetric oceans. Existing models are lim…
▽ More
Magnetic investigations of icy moons have provided some of the most compelling evidence available confirming the presence of subsurface, liquid water oceans. In the exploration of ocean moons, especially Europa, there is a need for mathematical models capable of predicting the magnetic fields induced under a variety of conditions, including in the case of asymmetric oceans. Existing models are limited to either spherical symmetry or assume an ocean with infinite conductivity. In this work, we derive an analytic result capable of determining the induced magnetic moments for an arbitrary, layered body. Crucially, we find that degree-2 tidal deformation results in changes to the induced dipole moments. We demonstrate application of our results to models of plausible asymmetry from the literature within the oceans of Europa and Miranda and the ionospheres of Callisto and Triton. For the models we consider, we find that in the asymmetric case, the induced magnetic field differs by more than 2 nT near the surface of Europa, 0.25$-$0.5 nT at 1 $R$ above Miranda and Triton, and is essentially unchanged for Callisto. For Miranda and Triton, this difference is as much as 20$-$30% of the induced field magnitude. If measurements near the moons can be made precisely to better than a few tenths of a nT, these values may be used by future spacecraft investigations to characterize asymmetry within the interior of icy moons.
△ Less
Submitted 21 June, 2021; v1 submitted 21 June, 2021;
originally announced June 2021.
-
In Search of Subsurface Oceans within the Uranian Moons
Authors:
C. J. Cochrane,
S. D. Vance,
T. A. Nordheim,
M. Styczinski,
A. Masters,
L. H. Regoli
Abstract:
The Galileo mission to Jupiter discovered magnetic signatures associated with hidden sub-surface oceans at the moons Europa and Callisto using the phenomenon of magnetic induction. These induced magnetic fields originate from electrically conductive layers within the moons and are driven by Jupiter's strong time-varying magnetic field. The ice giants and their moons are also ideal laboratories for…
▽ More
The Galileo mission to Jupiter discovered magnetic signatures associated with hidden sub-surface oceans at the moons Europa and Callisto using the phenomenon of magnetic induction. These induced magnetic fields originate from electrically conductive layers within the moons and are driven by Jupiter's strong time-varying magnetic field. The ice giants and their moons are also ideal laboratories for magnetic induction studies. Both Uranus and Neptune have a strongly tilted magnetic axis with respect to their spin axis, creating a dynamic and strongly variable magnetic field environment at the orbits of their major moons. Although Voyager 2 visited the ice giants in the 1980s, it did not pass close enough to any of the moons to detect magnetic induction signatures. However, Voyager 2 revealed that some of these moons exhibit surface features that hint at recent geologically activity, possibly associated with sub-surface oceans. Future missions to the ice giants may therefore be capable of discovering sub-surface oceans, thereby adding to the family of known ocean worlds in our solar system. Here, we assess magnetic induction as a technique for investigating sub-surface oceans within the major moons of Uranus. Furthermore, we establish the ability to distinguish induction responses created by different interior characteristics that tie into the induction response: ocean thickness, conductivity, and depth, and ionospheric conductance. The results reported here demonstrate the possibility of single-pass ocean detection and constrained characterization within the moons of Miranda, Ariel, and Umbriel, and provide guidance for magnetometer selection and trajectory design for future missions to Uranus.
△ Less
Submitted 13 May, 2021;
originally announced May 2021.
-
Ethical Exploration and the Role of Planetary Protection in Disrupting Colonial Practices
Authors:
Frank Tavares,
Denise Buckner,
Dana Burton,
Jordan McKaig,
Parvathy Prem,
Eleni Ravanis,
Natalie Trevino,
Aparna Venkatesan,
Steven D. Vance,
Monica Vidaurri,
Lucianne Walkowicz,
Mary Beth Wilhelm
Abstract:
We recommend that the planetary science and space exploration community engage in a robust reevaluation concerning the ethics of how future crewed and uncrewed missions to the Moon and Mars will interact with those planetary environments. This should occur through a process of community input, with emphasis on how such missions can resist colonial structures. Such discussions must be rooted in the…
▽ More
We recommend that the planetary science and space exploration community engage in a robust reevaluation concerning the ethics of how future crewed and uncrewed missions to the Moon and Mars will interact with those planetary environments. This should occur through a process of community input, with emphasis on how such missions can resist colonial structures. Such discussions must be rooted in the historical context of the violent colonialism in the Americas and across the globe that has accompanied exploration of Earth. The structures created by settler colonialism are very much alive today, impact the scientific community, and are currently replicated in the space exploration communities' plans for human exploration and in-situ resource utilization. These discussions must lead to enforceable planetary protection policies that create a framework for ethical exploration of other worlds. Current policy does not adequately address questions related to in-situ resource utilization and environmental preservation and is without enforcement mechanisms. Further, interactions with potential extraterrestrial life have scientific and moral stakes. Decisions on these topics will be made in the coming decade as the Artemis program enables frequent missions to the Moon and crewed missions to Mars. Those first choices will have irreversible consequences for the future of human space exploration and must be extremely well considered, with input from those beyond the scientific community, including expertise from the humanities and members of the general public. Without planetary protection policy that actively resists colonial practices, they will be replicated in our interactions and exploration of other planetary bodies. The time is now to engage in these difficult conversations and disrupt colonial practices within our field so that they are not carried to other worlds.
△ Less
Submitted 27 October, 2020; v1 submitted 15 October, 2020;
originally announced October 2020.
-
White Paper Towards a Fuller Understanding of Icy Satellite Seafloors, Interiors, and Habitability
Authors:
Paul K. Byrne,
Andrew J. Dombard,
Catherine M. Elder,
Steven A. Hauck, II,
Mohit Melwani Daswani,
Paul V. Regensburger,
Steven D. Vance
Abstract:
Icy satellites represent compelling astrobiological targets, but their rocky interiors must be better characterized. Fundamental research programs and thematic workshops promoting ocean world interdisciplinarity are key. Future missions to icy satellites should explicitly include objectives to characterize interfaces between rock and water or high-pressure ices.
Icy satellites represent compelling astrobiological targets, but their rocky interiors must be better characterized. Fundamental research programs and thematic workshops promoting ocean world interdisciplinarity are key. Future missions to icy satellites should explicitly include objectives to characterize interfaces between rock and water or high-pressure ices.
△ Less
Submitted 19 July, 2020;
originally announced July 2020.
-
A pole-to-equator ocean overturning circulation on Enceladus
Authors:
Ana H. Lobo,
Andrew F. Thompson,
Steven D. Vance,
Saikiran Tharimena
Abstract:
Enceladus is believed to have a saltwater global ocean with a mean depth of at least 30~km, heated from below at the ocean-core interface and cooled at the top, where the ocean loses heat to the icy lithosphere above. This scenario suggests an important role for vertical convection to influence the interior properties and circulation of Enceladus' ocean. Additionally, the ice shell that encompasse…
▽ More
Enceladus is believed to have a saltwater global ocean with a mean depth of at least 30~km, heated from below at the ocean-core interface and cooled at the top, where the ocean loses heat to the icy lithosphere above. This scenario suggests an important role for vertical convection to influence the interior properties and circulation of Enceladus' ocean. Additionally, the ice shell that encompasses the ocean has dramatic meridional thickness variations that, in steady state, must be sustained against processes acting to remove these ice thickness anomalies. One mechanism that would maintain variations in the ice shell thickness involves spatially-separated regions of freezing and melting at the ocean-ice interface. Here, we use an idealized, dynamical ocean model forced by an observationally-guided density forcing at the ocean-ice interface to argue that Enceladus' interior ocean should support a meridional overturning circulation. This circulation establishes an interior density structure that is more complex than in studies that have focused only on convection, including a shallow freshwater lens in the polar regions. Spatially-separated sites of ice formation and melt enable Enceladus to sustain a significant vertical and horizontal stratification, which impacts interior heat transport, and is critical for understanding the relationship between a global ocean and the planetary energy budget. The presence of low salinity layers near the polar ocean-ice interface also influences whether samples measured from the plumes are representative of the global ocean.
△ Less
Submitted 12 July, 2020;
originally announced July 2020.
-
Magnetic Induction in Convecting Galilean Oceans
Authors:
S. D. Vance,
B. G. Bills,
C. J. Cochrane,
K. M. Soderlund,
N. Gomez-Perez,
M. J. Styczinski,
C. Paty
Abstract:
To date, analyses of magnetic induction in putative oceans in Jupiter's large icy moons have assumed uniform conductivity in the modeled oceans. However, the phase and amplitude response of the induced fields will be influenced by the increasing electrical conductivity along oceans' convective adiabatic temperature profiles. Here, we examine the amplitudes and phase lags for magnetic diffusion in…
▽ More
To date, analyses of magnetic induction in putative oceans in Jupiter's large icy moons have assumed uniform conductivity in the modeled oceans. However, the phase and amplitude response of the induced fields will be influenced by the increasing electrical conductivity along oceans' convective adiabatic temperature profiles. Here, we examine the amplitudes and phase lags for magnetic diffusion in modeled oceans of Europa, Ganymede, and Callisto. We restrict our analysis to spherically symmetric configurations, treating interior structures based on self-consistent thermodynamics, which account for variations in electrical conductivity with depth in convective oceans (Vance et al., 2018). The numerical approach considers tens of radial layers. The induction response of the adiabatic conductivity profile differs from oceans with uniform conductivity based on the ice-ocean interface or the mean value of the adiabatic profile by more than 10% in many cases. In addition, we consider the generation of induced magnetic fields by oceanic fluid motions that might be used to probe the ocean flows directly (e.g., Chave, 1983; Tyler, 2011; Minami, 2017). Assuming turbulent convection (Soderlund et al., 2014), we find that these signals can dominate induction signal at low latitudes, which underscores the need for spatial coverage in magnetic induction investigations. Based on end-member ocean compositions (Zolotov, 2008; Zolotov & Kargel, 2009), we quantify the residual magnetic induction signals that might be used to infer the oxidation state of Europa's ocean and to investigate stable liquids within and under high-pressure ices in Ganymede and Callisto. Fully exploring this parameter space for the sake of planned missions requires electrical conductivity measurements in fluids at low temperature and to high salinity and pressure.
△ Less
Submitted 5 March, 2020; v1 submitted 4 February, 2020;
originally announced February 2020.
-
Self-Assembling Ice Membranes on Europa: Brinicle Properties, Field Examples, and Possible Energetic Systems in Icy Ocean Worlds
Authors:
Steven D. Vance,
Laura M. Barge,
Silvana S. S. Cardoso,
Julyan H. E. Cartwright
Abstract:
Brinicles are self-assembling tubular ice membrane structures, centimeters to meters in length, found beneath sea ice in the polar regions of Earth. We discuss how the properties of brinicles make them of possible importance for chemistry in cold environments-including that of life's emergence-and we consider their formation in icy ocean world. We argue that the non-ice composition of the ice on E…
▽ More
Brinicles are self-assembling tubular ice membrane structures, centimeters to meters in length, found beneath sea ice in the polar regions of Earth. We discuss how the properties of brinicles make them of possible importance for chemistry in cold environments-including that of life's emergence-and we consider their formation in icy ocean world. We argue that the non-ice composition of the ice on Europa and Enceladus will vary spatially due to thermodynamic and mechanical properties that serve to separate and fractionate brines and solid materials. The specifics of the composition and dynamics of both the ice and the ocean in these worlds remain poorly constrained. We demonstrate through calculations using FREZCHEM that sulfate likely fractionates out of accreting ice in Europa and Enceladus, and thus that an exogenous origin of sulfate observed on Europa's surface need not preclude additional endogenous sulfate in Europa's ocean. We suggest that, like hydrothermal vents on Earth, brinicles in icy ocean worlds constitute ideal places where ecosystems of organisms might be found.
△ Less
Submitted 4 March, 2019;
originally announced March 2019.
-
Evaluation of Mother-Daughter Architectures for Asteroid Belt Exploration
Authors:
Leonard Dean Vance,
Erik Asphaug,
Jekan Thangavelautham
Abstract:
This paper examines the effectiveness of an asteroid exploration architecture comprised of multiple nanosatellite sized spacecraft deployed from a single mother ship into a heliocentric orbit in the main asteroid belt where the mothership is ideally located in region of high density. Basic mission requirements associated with a Mother-Daughter architecture are established utilizing a relatively la…
▽ More
This paper examines the effectiveness of an asteroid exploration architecture comprised of multiple nanosatellite sized spacecraft deployed from a single mother ship into a heliocentric orbit in the main asteroid belt where the mothership is ideally located in region of high density. Basic mission requirements associated with a Mother-Daughter architecture are established utilizing a relatively large number (10-20) daughter spacecraft distributed from a mothership within the asteroid belt for the purpose of executing sample and return missions. A number of trade analyses are performed to establish system performance to changes in initial orbit, delta-V capability and maximum small spacecraft flight time. The balance between the initial delta-V burn and asteroid velocity matching are also examined, with a goal of minimizing the amount of fuel needed in the small spacecraft. Preliminary requirements for the system are established using these results, and a conceptual design is presented for comparison to other asteroid exploration techniques. Preliminary results indicate that the aforementioned concept of a mothership with small spacecraft is viable and should be considered as an alternative approach to first order surveying of the asteroid belt.
△ Less
Submitted 14 April, 2020; v1 submitted 28 December, 2018;
originally announced December 2018.
-
Geophysical tests for habitability in ice-covered ocean worlds
Authors:
Steven D. Vance,
Mark P. Panning,
Simon Stähler,
Fabio Cammarano,
Bruce G. Bills,
Sharon Kedar,
Christophe Sotin,
William T. Pike,
Ralph Lorenz,
Victor Tsai,
Hsin-Hua Huang,
Jennifer M. Jackson,
Bruce Banerdt
Abstract:
Geophysical measurements can reveal the structure of icy ocean worlds and cycling of volatiles. The associated density, temperature, sound speed, and electrical conductivity of such worlds thus characterizes their habitability. To explore the variability and correlation of these parameters, and to provide tools for planning and data analyses, we develop 1-D calculations of internal structure, whic…
▽ More
Geophysical measurements can reveal the structure of icy ocean worlds and cycling of volatiles. The associated density, temperature, sound speed, and electrical conductivity of such worlds thus characterizes their habitability. To explore the variability and correlation of these parameters, and to provide tools for planning and data analyses, we develop 1-D calculations of internal structure, which use available constraints on the thermodynamics of aqueous MgSO$_4$, NaCl (as seawater), and NH$_3$, water ices, and silicate content. Limits in available thermodynamic data narrow the parameter space that can be explored: insufficient coverage in pressure, temperature, and composition for end-member salinities of MgSO$_4$ and NaCl, and for relevant water ices; and a dearth of suitable data for aqueous mixtures of Na-Mg-Cl-SO$_4$-NH$_3$. For Europa, ocean compositions that are oxidized and dominated by MgSO$_4$, vs reduced (NaCl), illustrate these gaps, but also show the potential for diagnostic and measurable combinations of geophysical parameters. The low-density rocky core of Enceladus may comprise hydrated minerals, or anydrous minerals with high porosity comparable to Earth's upper mantle. Titan's ocean must be dense, but not necessarily saline, as previously noted, and may have little or no high-pressure ice at its base. Ganymede's silicious interior is deepest among all known ocean worlds, and may contain multiple phases of high-pressure ice, which will become buoyant if the ocean is sufficiently salty. Callisto's likely near-eutectic ocean cannot be adequately modeled using available data. Callisto may also lack high-pressure ices, but this cannot be confirmed due to uncertainty in its moment of inertia.
△ Less
Submitted 10 May, 2017;
originally announced May 2017.
-
Seismic wave propagation in icy ocean worlds
Authors:
Simon C. Stähler,
Mark P. Panning,
Steve D. Vance,
Ralph Lorenz,
Martin van Driel,
Tarje Nissen-Meyer,
Sharon Kedar
Abstract:
Seismology was developed on Earth and shaped our model of the Earth's interior over the 20th century. With the exception of the Philae lander, all in situ extraterrestrial seismological effort to date was limited to other terrestrial planets. All have in common a rigid crust above a solid mantle. The coming years may see the installation of seismometers on Europa, Titan and Enceladus, so it is nec…
▽ More
Seismology was developed on Earth and shaped our model of the Earth's interior over the 20th century. With the exception of the Philae lander, all in situ extraterrestrial seismological effort to date was limited to other terrestrial planets. All have in common a rigid crust above a solid mantle. The coming years may see the installation of seismometers on Europa, Titan and Enceladus, so it is necessary to adapt seismological concepts to the setting of worlds with global oceans covered in ice. Here we use waveform analyses to identify and classify wave types, develo** a lexicon for icy ocean world seismology intended to be useful to both seismologists and planetary scientists. We use results from spectral-element simulations of broadband seismic wavefields to adapt seismological concepts to icy ocean worlds. We present a concise naming scheme for seismic waves and an overview of the features of the seismic wavefield on Europa, Titan, Ganymede and Enceladus. In close connection with geophysical interior models, we analyze simulated seismic measurements of Europa and Titan that might be used to constrain geochemical parameters governing the habitability of a sub-ice ocean.
△ Less
Submitted 17 November, 2017; v1 submitted 9 May, 2017;
originally announced May 2017.
-
Expected seismicity and the seismic noise environment of Europa
Authors:
Mark P. Panning,
Simon C. Stähler,
Hsin-Hua Huang,
Steven D. Vance,
Sharon Kedar,
Victor C. Tsai,
W. T. Pike,
Ralph D. Lorenz
Abstract:
Seismic data will be a vital geophysical constraint on internal structure of Europa if we land instruments on the surface. Quantifying expected seismic activity on Europa both in terms of large, recognizable signals and ambient background noise is important for understanding dynamics of the moon, as well as interpretation of potential future data. Seismic energy sources will likely include crackin…
▽ More
Seismic data will be a vital geophysical constraint on internal structure of Europa if we land instruments on the surface. Quantifying expected seismic activity on Europa both in terms of large, recognizable signals and ambient background noise is important for understanding dynamics of the moon, as well as interpretation of potential future data. Seismic energy sources will likely include cracking in the ice shell and turbulent motion in the oceans. We define a range of models of seismic activity in Europa's ice shell by assuming each model follows a Gutenberg-Richter relationship with varying parameters. A range of cumulative seismic moment release between $10^{16}$ and $10^{18}$ Nm/yr is defined by scaling tidal dissipation energy to tectonic events on the Earth's moon. Random catalogs are generated and used to create synthetic continuous noise records through numerical wave propagation in thermodynamically self-consistent models of the interior structure of Europa. Spectral characteristics of the noise are calculated by determining probabilistic power spectral densities of the synthetic records. While the range of seismicity models predicts noise levels that vary by 80 dB, we show that most noise estimates are below the self-noise floor of high-frequency geophones, but may be recorded by more sensitive instruments. The largest expected signals exceed background noise by $\sim$50 dB. Noise records may allow for constraints on interior structure through autocorrelation. Models of seismic noise generated by pressure variations at the base of the ice shell due to turbulent motions in the subsurface ocean may also generate observable seismic noise.
△ Less
Submitted 1 August, 2017; v1 submitted 9 May, 2017;
originally announced May 2017.
-
Vital Signs: Seismology of ocean worlds
Authors:
Steven D. Vance,
Sharon Kedar,
Mark P. Panning,
Simon C. Staehler,
Bruce G. Bills,
Ralph D. Lorenz,
Hsin-Hua Huang,
William T. Pike,
Julie C. Castillo,
Philippe Lognonne,
Victor C. Tsai,
Alyssa R. Rhoden
Abstract:
Ice-covered ocean worlds possess diverse energy sources and associated mechanisms that are capable of driving significant seismic activity, but to date no measurements of their seismic activity have been obtained. Such investigations could probe their transport properties and radial structures, with possibilities for locating and characterizing trapped liquids that may host life and yielding criti…
▽ More
Ice-covered ocean worlds possess diverse energy sources and associated mechanisms that are capable of driving significant seismic activity, but to date no measurements of their seismic activity have been obtained. Such investigations could probe their transport properties and radial structures, with possibilities for locating and characterizing trapped liquids that may host life and yielding critical constraints on redox fluxes, and thus on habitability. Modeling efforts have examined seismic sources from tectonic fracturing and impacts. Here, we describe other possible seismic sources, their associations with science questions constraining habitability, and the feasibility of implementing such investigations. We argue, by analogy with the Moon, that detectable seismic activity on tidally flexed ocean worlds should occur frequently. Their ices fracture more easily than rocks, and dissipate more tidal energy than the <1 GW of the Moon and Mars. Icy ocean worlds also should create less thermal noise for a due to their greater distance and consequently smaller diurnal temperature variations. They also lack substantial atmospheres (except in the case of Titan) that would create additional noise. Thus, seismic experiments could be less complex and less susceptible to noise than prior or planned planetary seismology investigations of the Moon or Mars.
△ Less
Submitted 12 June, 2017; v1 submitted 31 October, 2016;
originally announced October 2016.
