https://guidevelopment.pythonprogramminghelp.com/5-terrific-tips-to-coq/