[dunstad]

It's really interesting to think about how impractical it would be to ensure that you can trust a piece of software. Unless you go down to the lowest levels and validate what every machine instruction is doing (which I certainly don't know how to do, nor plan on doing), you really just have to trust that it all does what you expect.

Good thing people are trustworthy, right?