How can the relationship between argumentation and proof be analysed? · Study