Talk:Novikov's compact leaf theorem