User:Asbruckman/vector.js

importScript('User:Superm401/ProveIt.js');