More...
Meet Judy.children[0];
The expression Judy.children[0] == Dominic.children[0] evaluates to true.
Currently in alpha release, final version expected in April.
Known to non-computer scientists as Mini-me.