Logically you can't prove it, can you?

When a program claims that no programs can leave out of the system, the banker just moves some programs to another system via tcpip cmds. :)