Automated proof as of now (& index.html)