Her er en god regel for kodens korrekthet. All kode du ikke har testet er feil. All kode du har testet er også feil, men ser ut til å fungere ved en tilfeldighet. Og kode du har bevist riktig, gjør feil ting, riktig.
20