thmically. Examples include #$PlusFn, #$greaterThan, #$JoinListsFn, and #$substring. In the case of a function that is evaluatable (see #$EvaluatableFunction), the practical result of evaluating the relevant expression is another _term_ -- one that has the same denotatum as the original expression, but that is syntactically simpler and constitutes a more straightforward way of referring to that denotatum. For example, the term `(#$PlusFn (#$Inch 3) (#$Inch 1))', when evaluated, results in the term `(#$Inch 