1

Basics of the deduction