User:ProveIt GT/ProveIt.js