User:Yardi/vector.js

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