It is not obvious that Z proves every set is in some level. The only proof I can think of uses the transitive closure. Perhaps I should just have said Scott's trick will work in Z+"every set is in some level". __________________________________________________ Do You Yahoo!? Yahoo! Health - Feel better, live better http://health.yahoo.com