Talk:Finite lattice representation problem