deduction

not defined yet