Closed
Description
In 4.1.7 (and perhaps elsewhere) "re-defined" has a hyphen, but is a valid English word without it: https://www.merriam-webster.com/dictionary/redefine
Similarly re-definition later in the note, and perhaps other composites.
{{ message }}