Talk:Birkhoff's theorem (equational logic)