Exact combinatorial simplifiers done.