add proof.js