...terms
We alternately suppose that the state vector assigns values to the names of constants, but for reasons of generality is is sometimes useful to be able to specify that a constant is equal to a term, rather than to a value.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
...way
We do not need to quantify over the domain, as in this case we have enough axioms to ensure that the domains of each of our sorts are fixed.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
...breaks
Steel springs will tend to stretch permanently when stretched or deformed beyond a certain point, but other materials, such as glass will break almost immediately outside their elastic region, especially if pulled quickly.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

John McCarthy
Wed Jul 12 14:10:43 PDT 2000