reduct

not defined yet