wrote condensed version of argument deduction.