... knock down argument (i.e., as sound and not just valid, since you ... took away from the initially valid argument. (This is a simplification, ... that the argument, in its current form, is invalid. Now say ... p1,...,pn that yields a valid argument to c includes them.< ...