So what you have to trust is that the spec doesn't produce lies ? ;) FYI. I am just having some philosophical fun with GIGO. Ultimately, computers are just in

So what you have to trust is that the spec doesn't produce lies ? ;) FYI. I am just having some philosophical fun with GIGO. Ultimately, computers are just instruments which amplify human intention, it's not the computers's job to be ultimate moral arbiter of our words. Gödel's incompleteness theorem already tells us that a system cannot prove its own correctness.