lab2 as well as changes I don't wanna make in NDProofs
Mergest files with this computer. Nothing to merge really. I delete most of the old code and replaced with the current.