- ...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.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.