proreduction

not defined yet