User:Jimbo Wales/vector-2022.js

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