Start working on realization.tex.