supporting docs for Deduction