https://digitalixy.com/tech/maude/182649/htg-explains-what-is-unix/