> Ha nem tudod garantálni, hogy minden problémát megtalálsz (plusz néhány fals-pozitívat), akkor a hibátlan végeredményhez pontosan ugyanannyi tételt kell átnézned kézzel. Viszont ő nem akart feltétlenül hibátlant :)