better clause reduction
..