Update KI-6.tex