prereduction

not defined yet