Här är en bra regel om kodens korrekthet. All kod som du inte har testat är fel. All kod du har testat är också fel, men verkar fungera av en slump. Och kod som du har bevisat är korrekt gör fel sak, på rätt sätt.
39