Proof evolution is False