Some logic reduction.