Many other inquiries conducted by him might be mentioned, and some idea may be gained of his scientific activity from the fact that a selection only from his papers, published by the Cambridge University Press, fills three large volumes. This mass of work was done in the time he could spare from his professorial teaching in the university. For example, in 1880 he worked on the Four color theorem and proved that it was true if and only if no snarks were planar.