[juiceandjuice]

True for a very well-defined set of inputs.

The problem with writing secure code that works well is making sure that all inputs conform to your well-defined set... i.e. they are a subset of your well-defined set.

Compounding on this is the non-apparent dimensionality of your sets. A good example of this would be concurrency. If a function doesn't have an exclusive lock an an array of data it's going to manipulate, the set could actually have two dimensions (one being time), in which the array could change.

I got a C- in Analysis II. I needed a C to get a Math minor, but decided it wasn't worth it.