https://runescript.codingforstudent.com/5-amazing-tips-coq/