Here is a paper that maybe relevant to the discussions here. http://bruce.edmonds.name/formal/ Jerry __________________________________________________ Do You Yahoo!? Tired of spam? Yahoo! Mail has the best spam protection around http://mail.yahoo.com