Proving Evolution