some more oxy in reduction and predicates
some more oxy for optimization