It’s the Disney movie that a lot of Pixar guys worked at before setting up Pixar. I think they didn’t have a great experience and some were fired, so when Disney bought Pixar 10-15 years later there was a lot of schadenfreude that Disney were now paying top dollar for them.