prededuction

not defined yet