Talk:Locally finite variety