antireducing
not defined yet