Pixar researcher Tony DeRose spoke to Brady over on Numberphile, here's some extra stuff from their conversation not used in the main video.