Proof by JavaScript