Deduction system

  1. redirect Formal system