switch back to dos encoding to merge my changes
added section about presheaf semantics