ProductLattice added