> (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.