We examine the major ways of proving things in logic: tableaux (trees), axiomatic proofs, natural deduction and sequent calculus. ... Should forgiveness be unconditional? Is morality the product of Darwinian natural selection, or of culture and learning?