deduction

@czfdx