Pushed in the Nauty introduction slides.