On 6/25/05, Martin Alderson <martinalderson at gmail.com> wrote: > I think that renaming universe to something more sensible would help... I think the word 'universe' is pretty good. What better name do you have in mind? -- regards, Reinhard