Tämän illan saldona oli parin lemman todistus rewritabilityyn liittyen - tosin toinen lemma liittyy ihan suoraan alkuperäisen aiheeni ytimeen - ja kolmannen lemman todistuksen alkua. Vähän yli sivun verran ruutupaperille, se tarkoittanee paria-kolmea sivua gradusivuiksi muutettuna, kun ottaa huomioon kaikki ylimääräiset rautalankaväännöt ja ja mahdolliset lisätulokset, joita tarvitaan. Edistystä siis, kas kummaa.