rename: ops.pdf