[[christmas]] --- [[murphy-g2000]] Appendix C