last changes before looking at it with pencil and paper
prettier names
Moved edits from paper to the computer, changed the version tag.