changed testdata stuff, set up testing, started fixing proof in ProjectNotes.tex