ConceptValueModified just nowProperties 3Hide BooksChapter 3. Untyped arithmetic expressions JourneyProgramming Language Theory StatuslearningA Term in Normal form that is not deemed a bad state. Previous in ConceptsValidityNext in Concepts Value environment