https://5dok.net/document/zlgjke5o-the-bussproofs-extra-package.html