Plenary lecture: Dag Prawitz, Is there a general concept of proof?