I only claim to have proven this: A computable logic that arises from how connections are made and/or broken over time. That is a complete description of everything about this logic. This is not Lambda Calculus, this does not use numeric values, this only uses pointers. The models I created use one command to perform logic, “alias” that only allows you to create a command or rewrite a created command to execute a string of commands. In my models that string only calls other alias created commands, basically looping around itself in essence only using connections. I have built if-thens, sophisticated do-whiles, a randomizer, a relational database and math emulators.