A <EM>state function</EM> is a non-Boolean expression that may
contain 
  <A HREF = "variables.html">rigid and flexible variables</A> 
Semantically, it maps 
  <A HREF = "states.html">states</A>
to 
  <A HREF = "value.html">values</A>.