finished writing about verification, started correcting some minor stuff