Fix title page.
AppendixC: language fix.
Fix proof notation and language.
Better notation in proof.