Talk:Log-rank conjecture