edited Consistency Levels.tex