wip: truncated lattices