Add circling polar latex file to dependencies of theory.