reduct
not defined yet