Plug-and-play value lattices.