\chapter{Conclusions}
{\DOTTY} is not only a good general-purpose graph editor, but a flexible tool
for constructing graphical front ends for other tools. The programmability of
{\LEFTY} makes building front ends straightforward. {\DOT}'s good performance
and high quality layouts result in fast response and pleasing pictures.
