Argument-deduction-proof distinctions

Summary