Comment by lstodd

Right, the problem is that one can't formally describe the environment, and any one thing has to interact with it. So formallness goes right out the window.