Definition of a notation for operating on a range of elements, like A[0:6]. Therewith arrays are introduced which do not decay to pointers. 2024-2025.

The concepts value discarded, discarded relative to and to resolve. They replace the wrong uses of "not evaluated" and provide a means of giving a clean definition of other concepts. 2025.