Redo appendix C.