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

		jph00 34 days ago \| parent \| context \| favorite \| on: 987654321 / 123456789 The author does not say a script works as well as a proof.