Talk:Lieb conjecture