pseudo boolean lattice