More stuff in ops.tex