The Four Colour Theorem Completionists