Spell checked cdk2.tex