rededuction

not defined yet