> (But I suppose you could take an 'implicit' definition from the book as
> 'any application where you need to use a language like SPARK', in which
> case I might be less inclined to argue.)

Oops, yes, of course I was refering to the SPARK angle.

Jerry.