A <EM>state</EM> is an assignment of values to all 
 <A HREF = "variables.html">flexible variables</A> 
(there are infinitely many of them).