Talk:Halperin conjecture