Asserts are a form of documentation that make assumptions explicit both to the reader of the code and to the compiler. - dsimcha (2) @Graham: Heavy realiance on testing is harmful because testing can only show the presence of bugs, not their absence.