Proof Analysis by Jan Von Plato & Professor Sara Negri