https://pyside.pythonprogramminghelp.com/the-complete-library-of-coq/