Aspen via agora-official Thu, 15 Jul 2021 01:19:23 -0700
The proposal "Nicer Definitions" by R. Lee was previously known as proposal 8575. However, this number was already assigned to a previous proposal. Accordingly, it is renumbered as proposal 8594. I apologize for the error.