deduction rules
very general description