The author does not say a script works as well as a proof.