Javascript proofs
Implementation