for
10 coins.  We are interested in the effect of the action <i>a</i> of putting
 a coin in the box on the number <i>c</i> of coins that are currently in the
box.  This domain can be represented by transition system
<a href="transitionsystems.html#coins"><i>TS2</i></a> (Section 0.1) with
<i>N</i>=10.<p>

<i>Prediction.</i>  Currently there are 5 coins in the box.  If I put one coin
in the box twice in a row, how many coins will there be in the box at the
end?<p>

In terms of paths in the transition system: 