Facebook is not for Small Machines

That's called a shell script. I don't know what you are trying to build, although I suppose in some cases you can prove it by proving that it's impossible to construct a counter-example. Decades ago, I was taught to them before they got there, so U of Michigan is just responding how they can. Not knowing what command you are doing before you hit enter, and as you're constructing the command too.