You should read more Colin Percival then. :) It's one thing to trust "peer reviewed formal mathematical proofs". It's another to assume that these are perfect

You should read more Colin Percival then. :) It's one thing to trust "peer reviewed formal mathematical proofs". It's another to assume that these are perfectly implemented.