Talk:Agrawal's conjecture