- ...behaviour
- Notice that this is a
*meta-*diagnostic problem, since we are diagnosing failures in diagnostic methods. - ...term
- Terms beginning with a capital letter will denote variables.
- ...is
- We write
*#-min*for number-minimality, and*=*for the identity mapping - ...now
- We write 36#36 for subset-minimality.

Fri Oct 4 13:40:35 MET DST 1996