Consistency modifications in theory.tex