Added consistency.tex