. . . "Or defining via replacing an expression with its value (as on Wikipedia)--oddly so since expressions and values are different kinds of things." . .