Deduction
---------


.. include:: deduction_catalog.rst