By the way, when I said "Dave" a couple of posts ago, I really meant Andy (whose post I was referring to). But it goes for both of you, of course. :) Sorry, but half the time I get the two of you confused. As for the features like detecting an added method and so on, it's not yet clear to me that this is sufficient power for implementing DBC. But I do concur it should be done as an add-on to the language, not a change in the language definition itself. Hal -- Hal Fulton Sent via Deja.com http://www.deja.com/ Before you buy.