Proving Darwin (Making Biology Mathematical)