  Incidentally, in building this graph, we allowed ourselves to share the node y both times we came to ∅.  It would be possible to avoid doing this, using different nodes.  The end result would be a tree: