“Correctness is clearly the prime quality. If a system does not do what it is supposed to do, then everything else about it matters little.”

- Bertrand Meyer