Why This Program can be Trusted