Graphical unification.