the lattice bottom — the result before any contributions arrive.
the lattice type — must be Quilted (idempotent/commutative/associative join).