Hell Fast
deduction and reduction