Deductio: «deducción». (GA17, pp. 218, 256, 262.) (LHDF)