The formula
<PRE>
  <A HREF = "box.html">[]</A>[A]
       v
</PRE>
is satisfied by a
 <A HREF = "behavior.html">behavior</A> 
iff every 
 <A HREF = "step.html">step</A> 
of the behavior satisfies the
 <A HREF = "action.html">action</A>
<PRE>
  <A HREF = "sqact.html">[A]</A>
     <A HREF = "sqact.html">v</A>
</PRE> 
In other words, the formula is true for a behavior iff every 
 <A HREF = "step.html">step</A> 
is either an
 <A HREF = "step.html"><CODE>A-step</CODE></A> 
or else leaves <CODE>v</CODE> unchanged.