Tim -- Interesting ideas on unifying unification into Self! Don't quite know how to unify two Self objects ... the slot by slot thing is a reasonable idea, but could you just send "=" to the objects and see if they think they are equal? Thanks for your thoughts, --Randy