edited all except experiments and appendices. pushing so Ahmet can start. i'll next edit the last two geometric appendices and the experiments section.