antireduction

not defined yet