Deduction

Main identifier (DDC): 162