Talk:Borel conjecture