User:Fitzcarmalan/vector.js

proveit = { shouldAddSummary: false }; importScript('User:ProveIt_GT/ProveIt.js');