Proving Darwin: Making Biology Mathematical