some makeup
removed help proof, which was put into second proof