Leibniz and the Lucky Proof