=== Yleiskatsaus === 

 Jaksossa Yleiskatsaus yritetään esittää algoritmin muodollinen johdanto. Vaikka en ole alan asiantuntija, artikkelin edellinen osa oli minulle helppo ymmärtää. Yleiskatsauksen saattaminen samalle didaktiselle tasolle olisi eduksi. Kysymyksiä minulla on: Mistä näen, että yhtälö on edelleen redundantti ja mitä termi redundantti tarkoittaa tässä yhteydessä? Miten päädytään siihen, että A(x->x') määritellään määritellyksi minimifunktioksi?  

 Joitakin muita parannusehdotuksia: Muuttujan x' merkitys näyttää olevan erilainen kuin kohdassa Intuitio. Olisiko mahdollista käyttää toista merkintätapaa? Lisäksi jaksossa toistetaan algoritmin määritelmä edellisessä jaksossa. Samalla siinä kuitenkin luetellaan näytteiden ohittamisen vaiheet korrelaatioiden lieventämiseksi. Ehdotan, että täydellinen luettelo vaiheista laitetaan edelliseen jaksoon. Sitten asianmukainen nimi jaksolle Overview voisi olla esimerkiksi Formal Derivation.  

 Anteeksi, olen uusi wikipediassa enkä halua tökkiä tekstiäsi. Ilmoittakaa minulle, jos haluatte minun tekevän joitakin mainituista parannuksista.  
 - 21:07, 03 joulukuu 2012