Introduction to the papers of TWG01: Argumentation and proof