As we explain in the book, we can test the selection definitions by
satisfying the
expression: 
, using the index number T to
select an appropriate set of tests. If, for example we use the tests
in 13 ( i.e. N = 4) then a valid result for R
(corresponding to Cocks & Baird's solution) is:
The structured term to which E is instantiated is complex to read directly but we provide a summarised version in Figure 1.
Figure 1: Sequence of selection conditions satisfied in the example.