VSW: initial commit
VSW: minor headings for the verification tutorial.