Mathematical Proof: Metal to Enlightenment