Reducing Terms In Arguments And Testing For Validity Justin Harrison